Simon Peyton Jones authored Jan 26, 2023 and Matthew Pickering committed Feb 01, 2023

We were treating a type-family instance as a non-orphan if there
was a type constructor on its /right-hand side/ that was local. Boo!
Utterly wrong. With this patch, we correctly check the /left-hand side/
instead!

Fixes #22717

(cherry picked from commit 638277ba)