Tuple cons with product tentative
Tuple cons implemented with Tuple2.