Answer a fixed size tuple type consisting of the given element types.
A fixed-size tuple type.
A List of A_Types corresponding to the elements of the resulting fixed-size tuple type.