Existential Types on a Leash in Haskell | Hacker News Reader