Record type inference for dummies

23/06/2026 Font: Lobste.rs Tags: plt