Archived tweet #3573 from the @leastfixedpoint Twitter Archive

"value-level instances [...] are the type-safe approach to ad-hoc polymorphism": haskellforall.com/2012/05/scrap-… #excellent