Agda.Compiler.MAlonzo.HaskellTypes

type HaskellKind

hsStar

hsKFun

hsFun

hsUnit

hsVar

hsApp

hsForall

notAHaskellType

getHsType

getHsVar

haskellType'

haskellType

checkConstructorCount