I realize this is a bit reductionist, but since we’re already reducing the abstraction… all predicates abstract the same concept: (thing: T, reducer: Reducer

I realize this is a bit reductionist, but since we’re already reducing the abstraction… all predicates abstract the same concept: (thing: T, reducer: Reducer<T>): boolean => criterion(reducer(thing)) It’s good to recognize the similarity in these two cases, but why stop there? Edit: there’s a little bit of novelty in recognizing that global predicates implicitly take a global context argument, but that can be similarly reduced to “all context-sensitive processes are implicit functions over their context and any additional parameters”.