how does typescript *still* has no way to negate types :neocat_cry: how tf am i supposed to do a catch-all in a discriminated union