Re: fail, MonadFail, or MonadPlus? (was Re: broken Monad Either instance?)