-- Quote promoted DataCons
                                                     -- in types
pprPromotionQuote (PromotedTyCon {})   = ifPprDebug (char '\'')
pprPromotionQuote (PromotedTyCon {})   = ifPprDebug (char '\'')
pprPromotionQuote (PromotedTyCon {})   = ifPprDebug (char '\'')