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

Map each element to a Maybe monoidal and sequence the results (like traverse and mapMaybe).