Because you pass in `Right` for the initial value ...
# arrow
s
Because you pass in
Right
for the initial value in fold, it will require
Right
for acc.