Agda.Syntax.Translation.InternalToAbstract
class Reify i a
class ReifyWhen i a
type NamedClause
reifyPatterns