Agda.Compiler.UHC.Pragmas.Base
type CoreExpr
data CoreType
data CoreConstr
coreConstrToCTag
setTag
data HsName