A step-by-step interpreter for a subset of Haskell.