Hi,

On 24 February 2013 10:41, Emanuel Koczwara <poczta@emanuelkoczwara.pl> wrote:

it appears that the first
and second 'line' are just an ordinary immutable variables. Line 4 just
hides the 'line' from line 2 (outer lambda). Am I right?

Exactly. You can try desugaring the do notation to see what's going on even more clearly.

Best,

Ozgur