[luc4]

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