Nice article! Partial application is a feature I sorely miss in other languages now. Wonder if the term Schönfinkelisation will catch on :)