47. 数字减 1

将给定的一个数字（始终为正）作为类型，要求返回的类型是该数字减 1。

例如:

type Zero = MinusOne<1> // expected to be 0
type FiftyFour = MinusOne<55> // expected to be 54