pe (TyApp (TyCon "Weak#")       [x]) = "mkWeakPrimTy " ++ ppType x
ppT
ppType (TyApp (TyCon "Weak#")       [x]) = "mkWeakPrimTy " ++ ppType x
ppType (TyApp (TyCon "Weak#")       [x]) = "mkWeakPrimTy " ++ ppType x