Extending the do-notation

[George Russell]

Sebastien Carlier wrote:
> 
> > import Monad
> > ...
> >     do y <- liftM unzip m1
> 
> Thanks.
> 
> I'm constantly amazed by the number of tricks one has
> to know before he can write concise code using the
> do-notation (among other things, I used to write
> "x <- return $ m" instead of "let x = m").
[snip]
Why do you WANT to write concise code using the do-notation?
Has someone revived the Obfuscated Haskell Contest, or
do you find touch-typing difficult?