Although it helps your backend is already written in OCaml, ever though about using PureScript? It has very powerful type features (higher kinded types, constraints, type level programming), the ability to use foreign (aka native) code, a Haskell like syntax (like Elm), and a very consistent set of libraries (opposed to the OCaml StdLib / Jane Street Core / BuckleScript Belt discussions).