Statically checked macros are useful to introduce new syntax at no runtime cost.