Loop while compiling with GHC 9.8.1

Summary

Compiling Proarrow.Category.Limit with GHC 9.8.1 goes into an infinite loop. It works fine with GHC 9.6.3.

Commenting out a specific line:

repMap Unit = repMap @d (InjL Unit) *** repMap @d (InjR Unit)

resolves the issue.

Steps to reproduce

• Check out https://github.com/sjoerdvisscher/proarrow/tree/a2d2ddcd071a5b2e1ad1956e675984d0181ef258
• Run cabal build.
• Notice it hangs at [45 of 53] Compiling Proarrow.Category.Limit 
• Comment out this line: https://github.com/sjoerdvisscher/proarrow/blob/a2d2ddcd071a5b2e1ad1956e675984d0181ef258/src/Proarrow/Category/Limit.hs#L51
• Notice cabal build now completes.

Environment

• GHC version used: 9.8.1

Optional:

• Operating System: MacOS Sonoma 14.0