[racket] Eval / Lazy Macros followup

Please disregard the first option as it would be semantically incorrect...

One could then not use mappend as a higher order function properly as 
the arguments would've been evaluated already in, say, the list if 
mappend is folded in.

So I'll have to use lazy, but how does one write macros with it?