3 ms·A proper type is one that has kind `Type` (or `*` in Haskell).by catnaroek 10y agoA proper type is one that has kind `Type` (or `*` in Haskell).