Complete the desugaring pipeline for Foldmap