From Type Theory to Haskell in 10 minutes (2014) | Dark Hacker News