I think LINQ is a special case of a monad comprehension. Syntax checked, type checked, composeable query languages (of which the "Structured" Query Language is only one example) are good things.
So far everywhere where I might have been tempted to use a Maybe monad comprehension, applicative functors were more clear anyhow.
You are right about query languages being a good for for monad comprehensions. See Torston Grust's dissertation[1], specifically "Combinators from Monad Comprehensions."
There is some pretty cool stuff in there for a point release. It's cool that monad comprehensions are back in, but I'm most excited about Safe Haskell, which should enable enable some new types of application (safely running untrusted code).
As I keep telling people, 'Safe Haskell' is not as generally useful as they think it is. Mueval (http://hackage.haskell.org/package/mueval) has to do a lot more than just be careful with its imports before it can safely run arbitrary untrusted code.
http://www.haskell.org/ghc/docs/7.2.1/html/users_guide/synta...
This improve code readability when used judiciously.