Improving Type Error Reporting for Type Classes. - Sheng Chen; Md. Rabib Noor (FLOPS, 2022)