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

A monadic version of mapMaybe :: (a -> Maybe b) -> [a] -> [b].