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

Monadic mapMaybe.
Applicative mapMaybe.