$MON diagrammet får diagrammet $W til å se ut som $ZEC diagram Monad null-diagram