:: f t a -> t f a -is:exact

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