Java will get Haskell's type classes

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?)

Title: Growing the Java Language [video]