Agda.Compiler.HaskellTypes

type HaskellKind

hsStar

hsKFun

hsFun

hsVar

hsApp

hsForall

notAHaskellKind

notAHaskellType

getHsType

getHsVar

isHaskellKind

haskellKind

haskellType