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

sequenceAFoldable == sequenceA . Fold.toList