File:Monad.P1.4A.Types.20190313n.pdf