:: (a -> IO b) -> [a] -> IO [b] package:fixed-vector

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