Agda.Compiler.HaskellTypes

type HaskellKind

hsStar

hsKFun

hsFun

hsUnit

hsVar

hsApp

hsForall

notAHaskellType

getHsType

getHsVar

haskellType