Creates a new MonadPlusT with context wrapped in HKT M.
MonadPlusT
M
A MonadPlus instance for M.
MonadPlus
A new computation combinator.
Creates a new
MonadPlusTwith context wrapped in HKTM.