do
      a
      rest

desugars to

    a >>
    do
      rest

and

    do
      x <- a
      rest

desugars to

    a >>= \x ->
    do
      rest