File:Applicative.3.A.Function.20180804.pdf