There was a feature request made for this on Trac before ApplicativeDo was finished (https://ghc.haskell.org/trac/ghc/ticket/8914), so generalizing monad comprehensions would fix half of Trac #8914. (The other half, which proposes generalizing ParallelListComp, would require an API change, so it might be better to tackle that separately.)