Mon Oct 23 13:28:02 CEST 2017

Another reason to use strong types

Practical real-world data littered with real-world edge cases can get
_really_ boring.  Manipulating complext structures based on what they
actually contain vs. "they contain what I need" creates significant
cognitive load that I just can't bear in cases where program structure
is all I can think about.