Haskell gets static typing right | Hacker News Reader