flexible-partial-application.md

@@ -25,8 +25,29 @@ I.e a function which takes the "_" parameters in the same order they
 were encountered in the function application.
 
 
-## Related proposals =
+## Related proposals
 
 
 - feature request for ghc at [ this ticket](http://hackage.haskell.org/trac/ghc/ticket/315)
 - conflicts with [MagicUnderscore](magic-underscore)
+
+## Pros
+
+
+## Cons
+
+
+
+One can usually assume **id e = e**, for any **e**, but
+
+
+```wiki
+id (f _ x) y  ===  id (\y->f y x) y === f y x
+/=
+f _ x y === \z -> f z x y
+```
+
+
+Or would **(f _ x) y** and **f _ x y** maybe be different? That would fix the problem above, while introducing another.
+
+