Re: Removing MonadFail from Monad