:: [a] -> (a -> Maybe b) -> [b] package:yaya

Analogous to mapMaybe in Data.Maybe.