An introduction to typeclass metaprogramming in Haskell | Hacker News Reader