> I think we can do better than Monads to achieve this.

(slide 52)

Looking forward to their solution.

For anybody curious, I think he's hinting at modern effect systems, on which there's lots of research these days. He advised for instance Lukas Rytz PhD thesis at EPFL (and Lukas Rytz is still working on Scala, now at Lightbend).