:: f (m a) -> m (f a) package:numeric-prelude

Evaluate each monadic action in the structure from left to right, and collect the results. For a version that ignores the results see sequence_.