20: implement IsNever<T>

Please implement a utility type IsNever<T> which returns true if T is never and false otherwise.

type A = IsNever<never> // truetype B = IsNever<string> // falsetype C = IsNever<undefined> // false