* Refactoring of the Tuple type