traverse -package:incipit-base package:base-prelude -is:exact

traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b)
base-prelude BasePrelude
Map each element of a structure to an action, evaluate these actions from left to right, and collect the results. For a version that ignores the results see traverse_.
traverse_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
base-prelude BasePrelude
Map each element of a structure to an action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see traverse.