Haskell-style monads
