The IO monad is for reifying execution order of a program. You more or less never have multiple IO monads.