> Option and Result are Monads. Surely he misses do-notation.

That's part of it. Option and Result are concrete instances of Monads. He misses the Monad abstraction.