Embrace Ambiguity with Haskell's Types · HackerTrans