"Five-Point Haskell": Unconditional Election (via Parametricity)

Welcome back to Five-Point Haskell ! This is my attempt to codify principles of writing robust, maintainable, correct, clear, and effective code in Haskell and to dispel common bad practices (or, heresies) I have run into in my time. In the last post, we talked about Total Depravity , which is about treating any mentally tracked constraint or condition as inevitably leading to a catastrophe and…