The Importance of Cardinality in Data Structures

There's a direct equivalence between a branching conditional code and a some type. They can sort of seamlessly be converted one into the other. By cleaning up the data structure, you also cleaned up the underlying conditional logic. There's got to be thumb performance impact there, but maybe in a lot of use cases, it's totally unnoticeable. Gu: I haven't tried using defunctionalization as a way to clean up complicated conditionals, but that's something worth thinking about.