Do you have any idea why this is not working? The sequential subset of Erlang supports eager evaluation, single assignment, and dynamic typing. Where are my pants? It is also a garbage-collected runtime system. Its main implementation is the Glasgow Haskell Compiler.