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