    module Language.Haskell.TH.Compat.Data.Util (
      foldAppT_,
      ) where

    import Language.Haskell.TH
    import Data.List (foldl')

    foldAppT_ :: Name -> [Type] -> Type
    foldAppT_ :: Name -> [Type] -> Type
    foldAppT_ Name
    n [Type]
    as = (Type -> Type -> Type) -> Type -> [Type] -> Type
    forall b a. (b -> a -> b) -> b -> [a] -> b
    forall (t :: * -> *) b a.
    Foldable t =>
    (b -> a -> b) -> b -> t a -> b
    foldl' Type -> Type -> Type
    AppT (Name -> Type
    ConT Name
    n) [Type]
    as