In one sense the answer is "yes"; but the real answer is "that's not how it works". There is only one IO. Monad transformers allow you to add functionality on top of it, but at some point you need to do actual I/O in the IO monad.

One reason it's done this way is that CGIT could in theory be written such that you could swap out the raw IO monad for something that lets you do testing.