cheating ... explicit tail call comprehension is weak