Mechanized type inference for record concatenation(haskellforall.com)

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