Problem: Currently to lift a value ma :: Maybe a into MaybeT m a you need to write MaybeT (pure ma), which is bloating code with unnecessary boilerplate.
Proposed solution: Add function hoistMaybe :: Applicative m => Maybe a -> MaybeT m a which already have been implemented in relude.
This will make working with MaybeT transformer more convinient
Problem: Currently to lift a value
ma :: Maybe a
intoMaybeT m a
you need to writeMaybeT (pure ma)
, which is bloating code with unnecessary boilerplate.Proposed solution: Add function
hoistMaybe :: Applicative m => Maybe a -> MaybeT m a
which already have been implemented inrelude
.This will make working with MaybeT transformer more convinient