Java will get Haskell's type classes (youtube.com)

Title: Growing the Java Language [video]

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