2 ms·tl;dr: use sum types to model mutually incompatible states, rather than multiple booleans.by School-Cotton 2y agotl;dr: use sum types to model mutually incompatible states, rather than multiple booleans.