Record type inference for dummies