yes, I now have `.fold` with a projection
# arrow
b
yes, I now have
.fold
with a projection