Marker hierarchy for reusable heterogeneous tuples backed by a shared super type.
common super type for all tuple elements.