How IHP uses Haskell's Type System to enforce good patterns | Hacker News Reader