to get the first element of the pair. Of course you can lift that if you want:
- <pre><code>extract_1st ≡ \pair. pair (\x y. x)</code></pre>
+ <pre><code>extract_fst ≡ \pair. pair (\x y. x)</code></pre>
but at a lower level, the pair is still accepting its handler as an argument,
rather than the handler taking the pair as an argument. (The handler gets *the
pair's elements*, not the pair itself, as arguments.)
- *Terminology*: we'll try to use names of the form `get_foo` for handlers, and
+ > *Terminology*: we'll try to use names of the form `get_foo` for handlers, and
names of the form `extract_foo` for lifted versions of them, that accept the
lists (or whatever data structure we're working with) as arguments. But we may
sometimes forget.