Comment by nathell

[3] is made possible thanks to a variation of the idea called "Futamura projections":

https://en.wikipedia.org/wiki/Partial_evaluation#Futamura_pr...