Mechanized type inference for record concatenation as in Nixhttps://haskellforall.com/2026/07/mechanized-type-inference-for-record-concatenation by fanf2 • 15 days ago 3 0 15 days agoHAhaskellforall.com