Row Polymorphism and Extensible Records

Row polymorphism types open records and variants by quantifying over the fields or cases a function does not need to know.

2026-04-22 · 13 min read