Add an additional trigger for pragma suggestions

[cocreature]

An example of an error message that gets triggered by this is the following

      (All instance types must be of the form (T a1 ... an)
       where a1 ... an are *distinct type variables*,
       and each type variable appears at most once in the instance head.
       Use FlexibleInstances if you want to disable this.)