getLine >>= \x -> -- x is a string at this point

[1..] >>= \x -> -- x is WHAT at this point?

MIchael

--- On Sun, 8/8/10, Henning Thielemann <lemming@henning-thielemann.de> wrote:

From: Henning Thielemann <lemming@henning-thielemann.de>
Subject: Re: [Haskell-cafe] What is <-
To: "michael rice" <nowgate@yahoo.com>
Cc: haskell-cafe@haskell.org
Date: Sunday, August 8, 2010, 9:38 AM

On Sun, 8 Aug 2010, michael rice wrote:

> So, Example 2 desugared becomes...
>
> [1..] >== \z -> ?

Yes, [1..] >>= \z -> ...