The similarity of this optimization and what is typically thought of as "generic programming" is interesting.