#2 to instance of MonadError