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’