Tuple Types

^Syntax
TupleType :
     ( Type ( , Type )^* )

Tuple types represent lists of heterogeneous types. The order of the fields matter, so the type (String, Int) is different from the type (Int, String).