And of course, there is no free lunch. You run smack into the expression problem here. The question is: do you have more places that check your conditions than

And of course, there is no free lunch. You run smack into the expression problem here. The question is: do you have more places that check your conditions than types of options? Are you more likely to add a new check (and need to verify exhaustiveness) or add a new option (and need to modify every check)?