[kibwen]

Indeed, though macros are not a feature of the type system. :)

[ngrilly]

Agreed :-)