Agda.Compiler.HaskellTypes
type HaskellKind
hsStar
hsKFun
hsFun
hsUnit
hsVar
hsApp
hsForall
notAHaskellKind
notAHaskellType
getHsType
getHsVar
isHaskellKind
haskellKind
haskellType