Hacker News Reader

Interesting stuff. Can anyone explain what "pair projection" mentioned in section 4.6 is? I've not heard the term, and neither has DuckDuckGo.

Projection functions for pairs, so first/second (i.e., (A, B) -> A, (A, B) -> B).