<div dir="ltr"><div dir="ltr"><div>Hi Simon,</div><div><br></div><div>Thanks for all these pointers!</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">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.<br></blockquote><div>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: <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/24096">https://gitlab.haskell.org/ghc/ghc/-/issues/24096</a></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span style="font-family:tahoma,sans-serif">It would be fantastic if someone, or a small group, was willing to take the lead here.</span></blockquote><div>Indeed! </div><div><br></div><div>Best,</div><div>Yao</div></div></div>