Because there can be infinite number of `Pair`s, y...

# announcements

[mg6maciej]

Because there can be infinite number of `Pair`s, you will have to add else -> error("This will never happen (fingers crossed)") in your case.