Type System Experiments for Lisp Flavoured Erlang