<div dir="ltr"><div>I was looking at the list of highest priority issues, and I noticed that one of them is blocked for a long time: <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2158">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2158</a></div><div><br></div><div>Is this something we can submit to new core-libraries-proposals repository (<a href="https://github.com/haskell-core/core-libraries-proposals">https://github.com/haskell-core/core-libraries-proposals</a>) to get more attention?<br></div></div>