Record type inference for dummies | Dark Hacker News