Given the fact that OCaml seems to be adding type class support and has support for monadic comprehension (do&#x2F;for), it seems like these ideas are getting adopted in multiple places.<p>As a Scalaz committer and as a developer working at one of the largest scala shops (that makes heavy use of Scalaz), we don&#x27;t try to write Haskell on the JVM.  We do try to write pure, functional code as much as we can, and so what we end up with  falls somewhere in the middle between an OCaml and Haskell.