Marker hierarchy for reusable heterogeneous tuples backed by a shared super type.
common super type for all tuple elements.
Factory helpers for constructing tuples with arities from zero to ten.