# 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.??

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.??