Agda.Compiler.UHC.MagicTypes

builtinUnitCtor

type MagicName

getMagicTypes

type MagicConstrInfo

type MagicTypeInfo

data HsDataType