+ AppIF fun arg -> AppIF (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppID fun arg -> AppID (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppFP fun arg -> AppFP (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppFI fun arg -> AppFI (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppFF fun arg -> AppFF (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppFD fun arg -> AppFD (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppDP fun arg -> AppDP (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppDI fun arg -> AppDI (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppDF fun arg -> AppDF (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+ AppDD fun arg -> AppDD (linkIExpr ie ce fun) (linkIExpr ie ce arg)
+