so you could write 3 extfuns specializing `eval` f...
# arrow
p
so you could write 3 extfuns specializing
eval
for each one of the types of the fold