Haskell port of all the Miranda code from the 1992 publication of ‘Implementing Functional Languages’ by Simon Peyton Jones and David Lester.