Record type inference for dummies

This article discusses type inference for anonymous records in Haskell, covering the basics of type theory and record types, and introducing new type inference rules for field access and record extension.