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