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