マクロ自体の引数に関しては完全にタイプチェックされてからのマクロ展開実行なので、型情報と通信の設計実装さえすればなんとかなる、はず。