Close to the beginning there is a phrase you'll want to review:

> If we we really we wanted to annotate the type of pair, we would write

Ok understood, we're us and we're all together in reading this! :-)