Detecting the undetectable: Custom type errors for stuck type families by Csongor Kiss

Anyone who has written or used one of these libraries will know that despite the authors’ best efforts, there are still many occasions where a wall of text jumps out, leaving us puzzled as to what went wrong.