Document CatchT stacked on top of IO behavior.