-- Deal with the rest: TyVarTy < AppTy < FunTy < LitTy < TyConApp < ForAllTy < PredTy
cmpTypeX _ (AppTy _ _)    (TyVarTy _)    = GT
cmpTypeX _ (AppTy _ _)    (TyVarTy _)    = GT
cmpTypeX _ (AppTy _ _)    (TyVarTy _)    = GT