Calculating type sets is harder than you think | Dark Hacker News