iTask-system - Revision 4390: /branches/iteration3/Examples/CEFP2011/Section 3 - Combinators