On Thu, 7 Apr 2022, Simon Peyton Jones wrote: > Gergo might you offer a patch? https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7964