Assertion: fold | /r/CapableOf | take many arguments
Facets:
Source sentences:
text: Second step: in addition to the last argument (the one for the structure), the fold takes as many arguments as the type has constructors.