3 ms·
You can recover the power of higher-kinded types with higher-order functors (in the ML sense), without sacrificing the compatibility of abstract types and type
by catnaroek 10y ago
You can recover the power of higher-kinded types with higher-order functors (in the ML sense), without sacrificing the compatibility of abstract types and type inference in the core language.
On the other hand, Haskell's type inference algorithm is simply incompatible with abstract types.