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

# semifoldable-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 Semifoldable class which will be in base-4.??

Signatures

Modules