Type safe Polyvariadic functions in Haskell | Hacker News Reader