Assertion: fold | /r/CapableOf | fold with the type's constructors
Facets:
Source sentences:
text: The fold for a given type is the one function of the type we figured out that meets this condition: folding with the type's constructors is an identity function over that type (you get the same result as the value you started with).