:: (a -> m (Maybe b)) -> [a] -> m [b] package:relude

mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b]
relude Relude.Monad.Maybe
The monadic version of the mapMaybe function. 
>>> :{
evenInHalf :: Int -> IO (Maybe Int)
evenInHalf n
| even n = pure $ Just $ n `div` 2
| otherwise = pure Nothing
:}

>>> mapMaybeM evenInHalf [1..10]
[1,2,3,4,5]