What good have proofs ever done anyway?

Gonna stop reading through Mark P. Jones’ “Qualified types” cover to cover. From now on, I’ll read only the more applications-oriented sections that might bear more relevance on my thesis. After all, my research is more about design and implementation than theory, which is what MPJ emphasizes in his dissertation.