"Types: general but weak theorems, [...] Unit tests: specific and strong theorems" http://t.co/glyQ9QoM