File:Monad.P1.6A.Types.20190606.pdf