Embrace Ambiguity with Haskell's Types | Hacker News Reader