Update day4.md

Extended explanation for desugar-all question.