Interesting property test proposed which would catch this: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/9149/dif...