I\'m trying to do something like a type guard, but instead of discarding types, discarding values already used for keys. Is this possible?
For example:
