two more examples of tuple types