Tag: errors
All the articles with the tag "errors".
Detecting the undetectable: custom type errors for stuck type families
Updated:Stuck type families are notorious for producing puzzling type errors. In this post I present a technique for detecting and reporting them.