So whats about a PPX that translates OCaml to Elixir?
This makes it possible to write code in one simple language that compiles into the ErlangVM, native OCaml and Bucklescript JS.
Plus, this idea combines Elixir and Erlang with the strong type checking of OCaml.
OCaml, Reason, Elixir, Erlang and Javascript in one language.