ppr_co p (TcCoercion co)      = pprPrefixApp p (text "Core co:") [ppr co]
ppr_co p (TcCoercion co)      = pprPrefixApp p (text "Core co:") [ppr co]
ppr_co p (TcCoercion co)      = pprPrefixApp p (text "Core co:") [ppr co]