I considered this in the beginning of Nim, but decided against it for multiple reasons:
* Yet more ways to write the same. * The proc AST for macros would be slightly harder to work with. * Procs usually have more lines of code than type descriptions, "proc sections" don't look good anymore for realistic examples.
