Writing CEK-style interpreters (or semantics) in Haskell http://matt.might.net/articles/cek-machines/ I promise I had *zero* to do with this Haskell code. David