The negation problem isn’t clearly shown by this example, I did recently edit the referenced post to have a negation example with structural types. Structural types don’t play nicely with TypeIs at all here though, this also has a bad interaction with use of a structural type to erase variance (that this example does show), something which is common with list vs Sequence with how people write code.
1 Like