Hi Amy Thanks for explanation. Yes I can now see that equivalence relation between your example and mine. It does sometime feel alien to see variables representing partially applied functions (e.g k in this case) when you are coming from the imperative land. Cheers, Shishir Srivastava