[–] 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?)
2 comments
[ 5.0 ms ] story [ 35.4 ms ] thread