-
Simon Peyton Jones authored
When we have TypeSynonymInstances without FlexibleInstances we should still insist on a H98-style instance head, after looking through the synonym. This patch also make FlexibleInstances imply TypeSynonymInstances. Anything else is a bit awkward, and not very useful.
4d8c7c97