“Things that are maximally general for first-order applications are minimally useful for higher-order applications, and vice versa.”