:: Monad m => (a -> m Bool) -> [a] -> m [Bool] package:fixed-vector

Monadic map over vector.
Effectful map over vector.
Analog of traverse from Traversable.