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