:: [IO Picture] -> IO [Picture] package:Agda

sequenceAFoldable == sequenceA . Fold.toList