[Haskell-beginners] Understanding Monadic I/O

[Markus Böhm]

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