definitely in a polymorphic context, folding a tre...
# arrow
j
definitely in a polymorphic context, folding a tree of nodes and expressions