How does the cats-effect IO monad really work?

Question

I\'m new to functional programming and Scala, and I was checking out the Cats Effect framework and trying to understand what the IO monad does. So far what I\'ve understood