[Haskell-cafe] Newbie Monad question

[Simon Ulfsbäcker]

Hi,

I'm a functional programming newbie trying to get the hang of the concept of
Monads, but one thing about bind puzzles me. Let's take an IO Monad-example:

readLn >>= \i -> readLn >>= \j -> return (i + j)

I fail to see how (\j -> return (i + j)) can know about the value of i.
Isn't just the value of the previous readLn passed to \j -> return (i + j)?

/Smalmatskungen