This syntax is horrible. All the elegant lambda calculus associations are gone.

Yes, the original OCaml syntax looks quirky during the first two weeks. But it makes sense after that.