In the future we'll say "We don't need Haskell because we already have values, higher-kinded types, pure functions, and do-notation in Java". (Although if I co

In the future we'll say "We don't need Haskell because we already have values, higher-kinded types, pure functions, and do-notation in Java". (Although if I could speculate based on past performance: values won't work with collections, pure functions won't allow recursion, do-notation will be incompatible with checked exceptions, and the higher-kinded types won't have inference. And all of them will be jam-packed with unnecessary syntax.)