Add a monad H for evaluating Haskell programs.