How Strong Typing Helped Me
- typical programming errors
- functions that might be called on the wrong elements
- functions that could return zero or wrongly typed results
- appying distinct-values to sequences of elements
- schema-validation of input found bugs in mkgallery