Goal: Implement a type `IsNever<T>`, which takes input type `T`. If the type of `T` resolves to `never`, return `true`, otherwise `false`. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/01042-medium-isnever Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-isnever.md