Haskell implementation of the untyped lambda calculus from TAPL chapter 7