so, those functions look like specialization of fo...
# arrow
p
so, those functions look like specialization of fold for these datatypes