Agda.Syntax.Internal.Generic

class TermLike a

copyTerm