Add several new Haskell expressions