ADTs for Tuple2 and Tuple3.

In the future, consider code-generation for higher arities.