Last week I attended a talk titled “How polymorphic types give rise to free theorems”,global_87604912[1] which was basically an introduction to what’s explained and elaborated in these two papers:
– Theorems for free!
– Free Theorems in the Presence of seq

As much as this has nothing to do with anything I do, I still find the topic quite interesting, and do recommend the papers to anyone with an interest in Haskell, coding in general or math. =)