{"type": "article", "title": "Mechanized type inference for record concatenation", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mechanized-type-inference-for-record-concatenation", "original_source": "https://haskellforall.com/2026/07/mechanized-type-inference-for-record-concatenation", "published": "2026-07-07T00:00:00+00:00", "accessed": "2026-07-07", "id": "mechanized-type-inference-for-record-concatenation"}