@Profpatsch nerd-sniped me on this this issue for my foldl package:
It turns out that there is a neat trick you can use to create a non-empty analog of the Fold type from my foldl package (see my comment on the above issue for the trick), so you might see something like coming out in the next release of the package once we iron out the details.