sequenceA package:Agda

sequenceAFoldable == sequenceA . Fold.toList