MonadError syntax.