マクロで書く関数では不可能な抽象化とは具体的にどういった物でしょうか?