MLFE: ML-Flavoured Erlang (noisycode.com)