Thanks for the read--now, how 'bout another? http://www.cse.unsw.edu.au/~chak/papers/gpugen.pdf, another Haskell-embedded GPU DSL, claims to work at a higher abstraction level than Obsidian, but still provide high performance general-purpose GPU programming capabilities.
