Core lint failure compiling rel8-1.4.1.0 with GHC 9.2/9.4

rel8-1.4.1.0 fails to compile with GHC 9.2 or 9.4 when -dcore-lint is enabled

Doesn't seem to affect 9.6.

[125 of 139] Compiling Rel8.Generic.Rel8able ( src/Rel8/Generic/Rel8able.hs, /data/builds/head.hackage/rel8-1.4.1.0/dist-newstyle/build/x86_64-linux/ghc-9.4.5/rel8-1.4.1.0/build/Rel8/Generic/Rel8able.o, /data/builds/head.hackage/rel8-1.4.1.0/dist-newstyle/build/x86_64-linux/ghc-9.4.5/rel8-1.4.1.0/build/Rel8/Generic/Rel8able.dyn_o )
*** Core Lint errors : in result of TcGblEnv axioms ***
src/Rel8/Generic/Rel8able.hs:65:15: warning:
    Incorrect incompatible branch: CoAxBranch (src/Rel8/Generic/Rel8able.hs:74:3-26): [*,
                                                                                       a_a9ar,
                                                                                       Identity
                                                                                         a_a9ar] => 'False
    In the coercion axiom D:R:== :: {[(a_a9aq :: KRel8able)].
                                     a_a9aq == a_a9aq
                                     ~_N
                                     'True
                                     [a_a9ar]. a_a9ar == Identity a_a9ar ~_N 'False
                                     [k1_a9bx, k2_a9bp, (f_a9as :: k1_a9bx -> k2_a9bp),
                                      (a_a9at :: k1_a9bx), (g_a9au :: k1_a9bx -> k2_a9bp),
                                      (b_a9av :: k1_a9bx)].
                                     f_a9as a_a9at == g_a9au b_a9av
                                     ~_N
                                     (f_a9as == g_a9au) && (a_a9at == b_a9av)
                                     [k_a9bB, (a_a9aw :: k_a9bB)]. a_a9aw == a_a9aw ~_N 'True
                                     [k_a9bE, (_1_a9bG :: k_a9bE), (_2_a9bI :: k_a9bE)].
                                     _1_a9bG == _2_a9bI
                                     ~_N
                                     'False}
    Substitution: [TCvSubst
                     In scope: InScope {}
                     Type env: []
                     Co env: []]
*** Offending Program ***
axiom D:R:== ::
  a == a = 'True -- Defined at src/Rel8/Generic/Rel8able.hs:69:3
  a == Identity a = 'False
    -- Defined at src/Rel8/Generic/Rel8able.hs:74:3
  forall {k1} {k2} {f :: k1 -> k2} {a :: k1} {g :: k1 -> k2}
         {b :: k1}.
    f a == g b = (f_a9as == g_a9au) && (a_a9at == b_a9av)
      -- Defined at src/Rel8/Generic/Rel8able.hs:77:3
  forall {k} {a :: k}.
    a == a = 'True -- Defined at src/Rel8/Generic/Rel8able.hs:78:3
  _ == _ = 'False -- Defined at src/Rel8/Generic/Rel8able.hs:79:3
axiom D:R:EvalTYPETSerialize ::
  Eval (TSerialize expr a) = Serialize
                               (a_a9aB == Transpose Result expr_a9aA) expr_a9aA a_a9aB
    -- Defined at src/Rel8/Generic/Rel8able.hs:112:15
*** End of Offense ***