You need to sign in or sign up before continuing.

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’