What's type-coverage, and why should I care? | Dark Hacker News