A fold takes you from an algebra to another algebr...
# arrow
r
A fold takes you from an algebra to another algebra.