Agda.Syntax.Internal.Generic
class
TermLike
a