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

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! :-)