3 ms·
how will it compare with Haskell's typeclasses in practice? (One of the comments said `interface Monad<M<A>>` would still be impossible due to no higher-kinded
by internet_points 1y ago
how will it compare with Haskell's typeclasses in practice? (One of the comments said `interface Monad<M<A>>` would still be impossible due to no higher-kinded generics, is that right?)