Goal: Implement `MapTypes<T, R>` which will transform types in object `T` to different types defined by type `R` which has the following structure: For instance: Be aware that user can provide a union of types: If the type doesn't exist in our map, leave it as it was: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/05821-medium-maptypes Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-maptypes.md