Scrap your type classes (and implement them at value level)

Discussion on the Haskell Reddit --- http://www.reddit.com/r/haskell/comments/t2yy2/scrap_your_ty... --- 9 comments so far.