Desugar, resolve, foldSeq for foldmap