Re: How do you write a typed macro?

[Araq]

These all work or produce sensible error messages for me on `devel`.

> what does the return type of a macro mean?

It's checked that the produced AST is of the specified type, but indeed `typed` 
or `untyped` doesn't make a difference.