-- | Apply a list of types to a term
mkTyApps :: Term
         -> [Type]
         -> Term
mkTyApps = foldl TyApp
mkTyApps :: Term
         -> [Type]
         -> Term
mkTyApps = foldl TyApp
mkTyApps = foldl TyApp