Have error messages mention UnsaturatedTypeFamilies where appropriate
Is it possible to have error messages suggest enabling UnsaturatedTypeFamilies
?
It would be helpful in this sort of situation:
type Id a = a
type Id2 = Id
<interactive>:33:1: error:
• The type synonym ‘Id’ should have 1 argument, but has been given none
• In the type synonym declaration for ‘Id2’