Agda.Syntax.Translation.AbstractToConcrete
class ToConcrete a c
type AbsToCon
data TypeAndDef
data DontTouchMe a
data Env