Simplifier ticks exhausted (GHC 9.2.5) about reanimate HOT 4 OPEN

$ haskell/math → cabal repl --ghc-options=-fsimpl-tick-factor=390
Resolving dependencies...
Build profile: -w ghc-9.2.7 -O1
In order, the following will be built (use -v for more details):
 - hgeometry-0.11.0.0 (lib) (requires build)
 - reanimate-1.1.4.0 (lib) (requires build)
 - math-0.1.0.0 (exe:math) (first run)
Starting     hgeometry-0.11.0.0 (lib)
Building     hgeometry-0.11.0.0 (lib)

Failed to build hgeometry-0.11.0.0.
Build log (
/home/korigamik/.cabal/logs/ghc-9.2.7/hgeometry-0.11.0.0-d6ea5054941f1fae6bda9e1037cc55cd99848f81636c4343547770d5407a3dad.log
):
Configuring library for hgeometry-0.11.0.0..
Preprocessing library for hgeometry-0.11.0.0..
Building library for hgeometry-0.11.0.0..
[  1 of 105] Compiling Algorithms.Geometry.SoS.Expr ( src/Algorithms/Geometry/SoS/Expr.hs, dist/build/Algorithms/Geometry/SoS/Expr.o, dist/build/Algorithms/Geometry/SoS/Expr.dyn_o )

src/Algorithms/Geometry/SoS/Expr.hs:6:1: warning: [-Wunused-imports]
    The import of ‘Data.List.NonEmpty’ is redundant
      except perhaps to import instances from ‘Data.List.NonEmpty’
    To import instances alone, use: import Data.List.NonEmpty()
  |
6 | import           Data.List.NonEmpty (NonEmpty(..),nonEmpty)
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Algorithms/Geometry/SoS/Expr.hs:37:10: warning: [-Wmissing-methods]
    • No explicit implementation for
        ‘abs’ and ‘signum’
    • In the instance declaration for ‘Num (Expr i r)’
   |
37 | instance (Num r) => Num (Expr i r) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[  2 of 105] Compiling Algorithms.Geometry.SoS.Sign ( src/Algorithms/Geometry/SoS/Sign.hs, dist/build/Algorithms/Geometry/SoS/Sign.o, dist/build/Algorithms/Geometry/SoS/Sign.dyn_o )
[  3 of 105] Compiling Algorithms.Geometry.SoS.Symbolic ( src/Algorithms/Geometry/SoS/Symbolic.hs, dist/build/Algorithms/Geometry/SoS/Symbolic.o, dist/build/Algorithms/Geometry/SoS/Symbolic.dyn_o )

src/Algorithms/Geometry/SoS/Symbolic.hs:24:1: warning: [-Wunused-imports]
    The import of ‘Data.Word’ is redundant
      except perhaps to import instances from ‘Data.Word’
    To import instances alone, use: import Data.Word()
   |
24 | import           Data.Word
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Algorithms/Geometry/SoS/Symbolic.hs:25:58: warning: [-Wunused-imports]
    The import of ‘suchThat’ from module ‘Test.QuickCheck’ is redundant
   |
25 | import           Test.QuickCheck (Arbitrary(..), listOf, suchThat)
   |                                                          ^^^^^^^^
[  4 of 105] Compiling Data.Geometry.Directions ( src/Data/Geometry/Directions.hs, dist/build/Data/Geometry/Directions.o, dist/build/Data/Geometry/Directions.dyn_o )
[  5 of 105] Compiling Data.Geometry.Interval.Util ( src/Data/Geometry/Interval/Util.hs, dist/build/Data/Geometry/Interval/Util.o, dist/build/Data/Geometry/Interval/Util.dyn_o )
[  6 of 105] Compiling Data.Geometry.Properties ( src/Data/Geometry/Properties.hs, dist/build/Data/Geometry/Properties.o, dist/build/Data/Geometry/Properties.dyn_o )

src/Data/Geometry/Properties.hs:32:26: warning: [-Wstar-is-type]
    Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
    relies on the StarIsType extension, which will become
    deprecated in the future.
    Suggested fix: use ‘Type’ from ‘Data.Kind’ instead.
   |
32 | type family NumType t :: *
   |                          ^
[  7 of 105] Compiling Data.Geometry.Interval ( src/Data/Geometry/Interval.hs, dist/build/Data/Geometry/Interval.o, dist/build/Data/Geometry/Interval.dyn_o )
[  8 of 105] Compiling Data.Geometry.IntervalTree ( src/Data/Geometry/IntervalTree.hs, dist/build/Data/Geometry/IntervalTree.o, dist/build/Data/Geometry/IntervalTree.dyn_o )
[  9 of 105] Compiling Data.Geometry.RangeTree.Measure ( src/Data/Geometry/RangeTree/Measure.hs, dist/build/Data/Geometry/RangeTree/Measure.o, dist/build/Data/Geometry/RangeTree/Measure.dyn_o )

src/Data/Geometry/RangeTree/Measure.hs:48:10: error:
    Duplicate instance declarations:
      instance forall k (l :: k -> *) (a :: k) (r :: k -> *).
               (Semigroup (l a), Semigroup (r a)) =>
               Semigroup ((:*:) l r a)
        -- Defined at src/Data/Geometry/RangeTree/Measure.hs:48:10
      instance [safe] forall k (f :: k -> *) (a :: k) (g :: k -> *).
                      (Semigroup (f a), Semigroup (g a)) =>
                      Semigroup (Product f g a)
        -- Defined in ‘Data.Functor.Product’
   |
48 | instance (Semigroup (l a), Semigroup (r a)) => Semigroup ((l :*: r) a) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Data/Geometry/RangeTree/Measure.hs:51:10: error:
    Duplicate instance declarations:
      instance forall k (l :: k -> *) (a :: k) (r :: k -> *).
               (Monoid (l a), Monoid (r a)) =>
               Monoid ((:*:) l r a)
        -- Defined at src/Data/Geometry/RangeTree/Measure.hs:51:10
      instance [safe] forall k (f :: k -> *) (a :: k) (g :: k -> *).
                      (Monoid (f a), Monoid (g a)) =>
                      Monoid (Product f g a)
        -- Defined in ‘Data.Functor.Product’
   |
51 | instance (Monoid (l a), Monoid (r a)) => Monoid ((l :*: r) a) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Failed to build hgeometry-0.11.0.0 (which is required by exe:math from
math-0.1.0.0). See the build log above for details.