Add 'util/MonadUtils.hs' with common monad (and applicative) combinators