Thanks!

By the way, if you like SKI calculus, you would have loved this year's ICFP programming contest.