isn't `(fold f) . (fold g)` the same as `fold (f ....
# arrow
t
isn't
(fold f) . (fold g)
the same as
fold (f . g)
?