Type Challenges Judge

MinusOne

Given a number (always positive) as a type. Your type should return the number decreased by one.

For example:

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