The final where in instance heads without constraints should get a purescriptWhere highlight group in the same way as with constrained instance heads.
In the following example, the final where gets properly highlighted:
instance myInstance :: Something => List Int where
whereas in
instance myInstance :: List Int where
it does not.