MonadFail?

discuss?