:: [Option a] -> Option [a] package:Agda

sequenceAFoldable == sequenceA . Fold.toList