Mechanized type inference for record concatenation as in Nix(haskellforall.com)

https://haskellforall.com/2026/07/mechanized-type-inference-for-record-concatenation