Worthwhile debate on HN over what type checkers can/should verify, and the limits of Hindley-Milner designs: https://news.ycombinator.com/item?id=10271612