Notes on "The Derivative of a Regular Type is its Type of One-Hole Contexts" by Conor McBride