Assertion: fold | /r/HasProperty | the one function of the type
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).