89. 整数

实现一个通用的工具类型 Integer<T>，如果 T 是一个整数则返回它，否则返回 never 。

例如：

type Simple1 = Integer<1> // expected to be 1
type Simple2 = Integer<1.1> // expected to be never