Unless, of course, you write in a functional language like Haskell. All those invariants become explicit and your code magically becomes simple