I don't understand what 'airbags' haskell inserts. Ok, it might be a bit trickier to write macros since it doesn't have such uniform syntax, but can you not still express all of the same meta-programming constructs?