My own implementation of the core language presented in " Implementing functional languages: a tutorial" by Simon Peyton Jones, and David Lester