Creates a MonadFail instance from a MonadPlus instance for M.
MonadFail
MonadPlus
M
The implementation of fail will be equal to monadPlus.empty but discarding an error message.
fail
monadPlus.empty
A MonadPlus instance for M.
A MonadFail instance for M.
Creates a
MonadFailinstance from aMonadPlusinstance forM.The implementation of
failwill be equal tomonadPlus.emptybut discarding an error message.