Record type inference for dummies (by Gabriella439) — discussion

#plt