If I were to use `fold` here I'd have to wrap the ...

# arrow

[simon.vergauwen]

If I were to use fold here I'd have to wrap the value of Left again. Which costs an extra allocation. It's not much but might be important in some crucial spots.