RE: [commit: ghc] master: Fix #9047 (b847481)