getVarsTerm (Application _ ts _) =
    foldr (Map.unionWith Set.union . getVarsTerm) Map.empty ts
getVarsTerm (Application _ ts _) =
    foldr (Map.unionWith Set.union . getVarsTerm) Map.empty ts
getVarsTerm (Application _ ts _) =
    foldr (Map.unionWith Set.union . getVarsTerm) Map.empty ts