Assertion: fold | /r/HasProperty | an identity function
Facets:
value: over that type
type: OTHER
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).