freestyle.effects.traverse
Interpretable as long as Foldable instance for G[_] and a MonadCombine for M[_] exists in scope