Goal: Implement a type `ReplaceKeys`, that replaces keys in union types. If some type has no key, just skip replacing. A type takes three arguments. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/01130-medium-replacekeys Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-replacekeys.md