Goal: In this challenge, you should implement a type `Zip<T, U>`, `T` and `U` must be `Tuple`: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/04471-medium-zip Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-zip.md