Pylkkanen; chapter 2 Applicatives.pdf