I think I've mostly absorbed kw's syntactic redundancy draft, but I'm still curious to see about this putative problem with the higher-order case.
Hung out with sal for a while earlier today. Quite fun. Got some boston market, watched some strong bad, read some of Ruth Noel's crazy elvish book. Had to tear myself away from the party to get some work done and some taco bell eaten.