&gt; ML is good at what it does but it doesn&#x27;t offer Haskell&#x27;s type system.<p>You can do most of Haskell&#x27;s type trickery in OCaml though. Some things are much easier in Haskell, but other things are much harder.