If it typecheks ship it! XD

http://joyful.com/blog/2015-04-20-ssh-darcs-hub-vulnerability.html

Well typed programs don't go wrong!

>>8
Those retard-level errors constitute the majority of errors, so type-checking is immensely useful, but you can go on being an uneducated codemonkey all you want.