Notes on naked-args lambda
Inchoate alldiff