for-comprehension desugaring