Caramel: An OCaml compiler that provides a fast type-checker for Erlang | Heykuki News