Tuple-like types used in Flat_array and Pool.
Flat_array
Pool
See [root:Tuple_type_intf] for documentation.