[shigeo]

If you remove monadic IO, laziness and immutability from Haskell, then you're a lot closer to OCaml than you are to Haskell.

But more importantly, immutability is used everywhere in the industry.