improve whitespace
comprehension desugaring example