Agda.Syntax.Concrete.Generic
class
ExprLike
a
Instances for things that do not contain expressions.
Instances for functors.
Interesting instances