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