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

A version of mapMaybe that works with a monadic predicate.