Pair encoding

Encoding:

• $\text{pair}=\lambda f.\lambda s.\lambda t.tfs$

• $\text{fst}=\lambda p.p\text{tru}$

• $\text{snd}=\lambda p.p\text{fls}$