Creates a new MonadFailT with context wrapped in HKT M.
MonadFailT
M
A MonadFail instance for M.
MonadFail
A new computation combinator.
Creates a new
MonadFailTwith context wrapped in HKTM.