Core language [Peyton Jones, Lester 2000] implementation