the problem is that ruby lets you redefine + anywhere you like, and return values of any type. so you need the most general translation of that expression into

the problem is that ruby lets you redefine + anywhere you like, and return values of any type. so you need the most general translation of that expression into a series of method dispatches.