Comment by tjalfi

This is called the expression problem.

http://homepages.inf.ed.ac.uk/wadler/papers/expression/expre...

http://stackoverflow.com/a/2079678 is a great SO answer on this topic.