T21315.hs:6:10: warning: [GHC-30606] [-Wredundant-constraints]
    • Redundant constraint: Eq a
    • In the instance declaration for ‘C (T a)’