| tc `hasKey` hetMetCodeTypeTyConKey, [ty1,ty2] <- tys
= ptext (sLit "<[") <> pp TopPrec ty2 <> ptext (sLit "]>@") <> pp TopPrec ty1
| tc `hasKey` hetMetCodeTypeTyConKey, [ty1,ty2] <- tys
= ptext (sLit "<[") <> pp TopPrec ty2 <> ptext (sLit "]>@") <> pp TopPrec ty1