RE: Representing Tuple types as products