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

O(n) Map the values and collect the Just results.
O(n) Apply the monadic action to all elements of the vector, yielding a vector of results. Equivalent to flip mapM.