%%%MACRO_NAME%%% :: [AST.Expression] -> IO [AST.Expression]