Dromedary is an experimental subset of OCaml, using constraint-based type inference! - View it on GitHub