type-operators fails to build on nightly with GHC9.4

[mihaimaruseac]

Preprocessing library for type-operators-0.2.0.0..
Building library for type-operators-0.2.0.0..
[1 of 1] Compiling Control.Type.Operator

/var/stackage/work/unpack-dir/unpacked/type-operators-0.2.0.0-3a1e8bf894c01b6b762565929180bc62c7057036e5c741eb2cdff2a1d8071a69/Control/Type/Operator.hs:97:15: error:
    Conflicting family instance declarations:
      [] <+> _ = () :: Constraint
        -- Defined at Control/Type/Operator.hs:97:15
      forall {k} {c :: k -> Constraint} {a :: k} {as :: [k]}.
        c <+> (a : as) = (c a, c <+> as)
          -- Defined at Control/Type/Operator.hs:99:15
   |
97 | type instance (<+>) [] _ = (() :: Constraint)
   |               ^^^^^

[andreasabel]

Lifted this to the maintainer:

• type-operators-0.2.0.0 does not build with GHC 9.4 Shou/type-operators#1

[alaendle]

Closed this in favor of Shou/type-operators#1 so no need to track this also on the stackage issue list. type-operators will semi-automatically be re-enabled once a compatible new version/revision appears on hackage - currently it is disabled by:

- type-operators < 0 # tried type-operators-0.2.0.0, but its *library* requires base >=4.7 && < 4.17 and the snapshot contains base-4.18.0.0