|
|
|
|
|
|
by catnaroek
3856 days ago
|
|
|
It's something weaker. Consider the groupoid of Haskell types and isomorphisms. Without GADTs and type families, all type constructors of kind `* -> *` are endofunctors on this groupoid. Note 1: And there are higher-kinded analogues, but I hope you get the idea from this. Note 2: There are also exceptions, like `IORef` and friends. |
|
|