:: f t a -> t f a package:control-monad-free

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