Mechanized type inference for record concatenation #1 Post by g0xA52A2A » Tue, Jul 07, 2026, 6:42 PM UTC Mechanized type inference for record concatenationhaskellforall.com