File:Monad.10.A.Function.20180804.pdf