[GHC] #12737: T12227 is failing on ghc-8.0