I guess to me type parameter names seem pretty arb...

# arrow

[xenomachina]

I guess to me type parameter names seem pretty arbitrary. You could probably randomize the names of the type variables in the API without breaking anything, while the names Left and Right are definitely part of the API.