だからそういうのは静的/動的の一般論でしかないと
そっちがマクロがあればScalaの機能は実現できると主張してるわけだから
具体的にやってもらわんと