Yes sorry, I had the sequence-not-str example in mind (Sequence[str] & ~str) and somehow got confused.
This is an approach I explored here (at least it has similarities), but you’ll see in this thread that there are some concerns with this approach, in particular runtime support.