The provoking cause was Trac #5821, which concerned
type families, but in fixing it I did the usual round
of tidying up and docmenting.
The main comment is now
Note [Handling SPECIALISE pragmas]
It is "wrinkle 2" that fixes #5821.
Attach a file by drag & drop or click to upload