In my opinion the worst thing about the Ocaml/ReasonML platform is that discovery of language features/syntax/functions is needlessly difficult. There is no Hoo

In my opinion the worst thing about the Ocaml/ReasonML platform is that discovery of language features/syntax/functions is needlessly difficult. There is no Hoogle equivalent for OCaml. Module functors are powerful, but the type system is very strict so it can be frustrating trying to express what you want. There are some techniques that are rarely covered by books and are almost impossible to google for. By contract, I think Haskell's typeclasses gives useful guard-rails to composing "complicated" logic. Overall, as someone who has been programming full-time in ReasonML for 9 months now, there are too many times places where I still feel like a "prisoner" of the type system for me to advocate for it over Clojure. I need to do more projects with Haskell, I am hopeful the built in typeclasses can reduce the time I am "stuck".