> import DefUtils
> import Def2Core ( d2c, defPanic )
-> import Type ( glueTyArgs, quantifyTy, mkForallTy, mkTyVarTy,
+> import Type ( glueTyArgs, quantifyTy, mkForallTy, mkTyVarTys,
> TyVarTemplate
> )
> import Digraph ( dfs )
> mkLoopFunApp val_args ty_args f =
> foldl App
> (foldl CoTyApp (Var (DefArgVar f))
-> (map mkTyVarTy ty_args))
+> (mkTyVarTys ty_args))
> (map mkVar val_args)
-----------------------------------------------------------------------------