9. 实现 If

实现一个工具类型类型 If<C, T, F> ，它接收一个条件类型 C ，一个判断为真时的返回类型 T ，以及一个判断为假时的返回类型 F 。C 只能是 true 或者 false ，而 T 和 F 可以是任意类型。

例如：

type A = If<true, 'a', 'b'>  // expected to be 'a'
type B = If<false, 'a', 'b'> // expected to be 'b'

如果传入的第一个参数 C 不是 true 或 false ，返回 never 。