FoldA package:Agda

Branch over a Foldable collection of values.
Encode a Foldable as a JSON array.
Compute from each subpattern a value and collect them all in a monoid.
sequenceAFoldable == sequenceA . Fold.toList