[PSA]: Correctness issue in GHC-9.12