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