I don't think that's a super helpful description, because probably most people wouldn't call IO a datastructure.

Monad means a function composition where you can program what happens when inner function gives its result as argument to the outer function.