Clarification on Macro return types

[Niminem]

I understand param types, I'm referring to the return types:

`macro test(param :untyped) :untyped =`

vs

`macro test(param :untyped) :typed =`