> The worst thing so far is that you have to declare and define functions before using them.

That's an extremely good thing.

Unordered definitions and where are some of Haskell worst decisions with lazy by default, overuse of operators and a community which sadly think point-free is desirable.

That's the kind of choices which makes Ocaml a lot more readable.