applyOneSubs s@(term, Variable _) (Function n a tms) =
    Function n a (map (applyOneSubs s) tms)
applyOneSubs s@(term, Variable _) (Function n a tms) =
    Function n a (map (applyOneSubs s) tms)
applyOneSubs s@(term, Variable _) (Function n a tms) =
    Function n a (map (applyOneSubs s) tms)