With a bit more background (on lambda calculus) I think this would make an interesting intro to lambda calculus for Python developers.