Hi Simon,

Thanks for all these pointers!

You aren't the only one to find this problem see these tickets. You might want to turn this thread into a new ticket, so you get included in that list.

Good to know! From the list, I see that the LiquidHaskell team also ran into the same issue and they proposed this ticket, which I should thumb up: https://gitlab.haskell.org/ghc/ghc/-/issues/24096

It would be fantastic if someone, or a small group, was willing to take the lead here.

Indeed!

Best,

Yao