Agda.Compiler.MAlonzo.Misc

Types coming from Agda are named T<number>.

Other definitions coming from Agda are named d<number>.

Names coming from Haskell must always be used qualified.