Agda.TypeChecking.Rebind
rebindClause