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,