applySubs (sub1:s@(_:_)) termsList = applySubs s (map (applyOneSubs sub1) termsList)
applySubs (sub1:s@(_:_)) termsList = applySubs s (map (applyOneSubs sub1) termsList)
applySubs (sub1:s@(_:_)) termsList = applySubs s (map (applyOneSubs sub1) termsList)