This is actually _really good_ and there are times when defining your types in terms of an existing value is the 100% best thing you can do 1/
Not sure if I'm proud of ashamed of this, but I set out to generate a restricted type based on existing data... and it worked?