Types vs. Datatypes vs. Typeclasses in Haskell | Hacker News Reader