I think implementing lazy evaluation is a common use case of macros in languages that don't support it otherwise, but there are plenty of other uses (some questionable on balance, but all with their upsides).