[GHC] #12833: GHCi