@hongminhee洪 民憙 (Hong Minhee) Agree with most of this, but it's slightly unfair to compare the syntaxes, when "let*" in ocaml can make it look closer to Haskell's "do" blocks. After all, "do" is simply (a nice) syntactic sugar for those same chained binds and lambdas, and you could write the Haskell in that style too. Fwiw, I've gone in the other direction over time, from Haskell to Ocaml, partly because the typeclasses make type inference harder and the resulting compiler errors so much less clear.