Goal: Given a number (always positive) as a type. Your type should return the number decreased by one. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/02257-medium-minusone Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/medium-minusone.md