Seven Levels of Type Safety in Haskell: Lists | Hacker News Reader