SICP 2.5: Representing Pairs as a Product