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