-- | Apply a list of terms to a term
mkTmApps :: Term
         -> [Term]
         -> Term
mkTmApps = foldl App
mkTmApps :: Term
         -> [Term]
         -> Term
mkTmApps = foldl App
mkTmApps = foldl App