Agda.Syntax.Internal.Generic
class TermLike a