Tuples

In Hope, lists have to have elements all of the same type but if we want data structures where the elements can be of different type then we can use tuples. Mathematically speaking, tuples are elements form the Cartesian Product of Sets.