Functional programmer (Scala, Clojure, some Haskell), new to OCaml