mfail -> fail

[Philip Wadler]

Here's an even better idea: replace mfail with fail.
It is, after all, the fail of the IO monad!

  Option 4'': Monad ((>>=), return, fail)

-- P