There are some features in OCaml that are interesting if you're coming from a Haskell background. In particular, polymorphic variants don't have an obvious anal

There are some features in OCaml that are interesting if you're coming from a Haskell background. In particular, polymorphic variants don't have an obvious analog in Haskell and can be used very expressively. Certain problems can be reasoned about more easily (at least for me) with strict evaluation, so some problems are easier to deal with/debug in OCaml.