The Option type would have been a better example, and make it slightly less complicated.

Option is an enum with two variants; None and Some(T). You can chain Options with operations, describing a Monad chain, which is kind of what this meme represent.