Slide "Defining type signatures"