a tuple type, generated from the passed types in the given order
passed types of the tuple type to be generated