[samg_]

You are right about query languages being a good for for monad comprehensions. See Torston Grust's dissertation[1], specifically "Combinators from Monad Comprehensions."

1. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.9...