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

sequenceAFoldable == sequenceA . Fold.toList