Agda.Syntax.Translation.InternalToAbstract
class Reify i a
class DotVars a