Using Data Structures to Enforce Conditional Code

Conditions are one of those primitives that are absolutely essential to programming and permit making a way bigger mess than you might guess, just based on how simple they are as a primitive. So what I got to thinking is just like a type you might want it to have only as many states as there are in your problem domain. You want them all to get processed in one place. Have you looked at trying to use data structures to kind of enforce that?