Assertion: fold | /r/CapableOf | consume folded type
Facets:
Source sentences:
text: First step: the fold for a given type will consume the folded type and produce some parameter type as its result.