Fix a buglet in redundant-constraint warnings
This MR fixes a bug that meant GHC warned about redundant constraints when it should not have done.
Fixes #18036 (closed)
This MR fixes a bug that meant GHC warned about redundant constraints when it should not have done.
Fixes #18036 (closed)