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