foldable1-0.2: Class of non-empty data structures that can be folded to a summary value.

Class of non-empty data structures that can be folded to a summary value.

A compatibility package for Foldable1 class which will be in base-4.??