Agda.Compiler.UHC.MagicTypes
builtinUnitCtor
type MagicName
getMagicTypes
type MagicConstrInfo
type MagicTypeInfo
data HsDataType