ap +template-haskell

AppE :: Exp -> Exp -> Exp
template-haskell Language.Haskell.TH.Syntax, template-haskell Language.Haskell.TH
> { f x }
appE :: ExpQ -> ExpQ -> ExpQ
template-haskell Language.Haskell.TH.Lib, template-haskell Language.Haskell.TH
Applied :: NameIs
template-haskell Language.Haskell.TH.Syntax
appsE :: [ExpQ] -> ExpQ
template-haskell Language.Haskell.TH.Lib, template-haskell Language.Haskell.TH
AppT :: Type -> Type -> Type
template-haskell Language.Haskell.TH.Syntax, template-haskell Language.Haskell.TH
> T a b
appT :: TypeQ -> TypeQ -> TypeQ
template-haskell Language.Haskell.TH.Lib, template-haskell Language.Haskell.TH
infixApp :: ExpQ -> ExpQ -> ExpQ -> ExpQ
template-haskell Language.Haskell.TH.Lib, template-haskell Language.Haskell.TH
pprTyApp :: (Type, [Type]) -> Doc
template-haskell Language.Haskell.TH.Ppr