since you can express folds and unfolds in terms o...
# arrow
r
since you can express folds and unfolds in terms of algebras and ADTs