strip annos prior to desugaring, fails otherwise...
use extension declaration for sum-comprehension