[Haskell-beginners] Understanding Monadic I/O

Hi, I'd like to understand in principle, how monadic I/O actions and combinators (>>=) are translated into imperative C--, to be executed sequentially. Does sequencing of IO actions mean nesting of C-- functions and passing values/state via additional function parameters? Is there any material with examples available? P.S.: Just to understand the magic better. I need it. BR -- Markus