The Futamura projections are such a cool result of partial evaluation! Thanks for pointing it out, otherwise I would not have known about them.