A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.