I/O is just one thing that can be described with a monad. `Option` with `and_then` as the parent suggested was another example.