File:Monad.3.A.Types.20190201.pdf