Comment by jeremyjacob

The newer `satisfies never` is great for this purpose. It’s also convenient with if else chains if that’s more one’s style.