[luc4]

To be pedantic: Their Maybe class is just a Functor, not a Monad.

[tubthumper8]

What's it missing? flatMap/bind/whatever that's called?

[luc4]

Yes, exactly. It's missing the monadic bind (which for the list monad would be flatMap).