9.1: Natural transformations

Notes from this youtube video