in Yet Another Haskell Tutorial
Chapter 9: Monads, page 124
a discussion of the Monad laws, Law 3 has this example:

   law3a = do
      x <- f
      do g <- x
         h y

   law3b = do
      y <- do x <- f
              g x
      h y


I'm confused about law3a above, specifically where y is coming from.
Should it be something like this:

   law3a = do
      x <- f
      do y <- g x
         h y

Yes, it should look like this:

   law3a = do
      x <- f
      do y <- g x
         h y

I edited this entry to be correct in the YAHT Wikibook here:

http://en.wikibooks.org/wiki/Haskell/YAHT/Monads#Law_3