Goal: Implement the type `ReplaceFirst<T, S, R>` which will replace the first occurrence of `S` in a tuple `T` with `R`. If no such `S` exists in `T`, the result should be `T`. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/25170-medium-replace-first Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-replace-first.md