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