マクロって仕組み的にそのファイル外の情報（型定義とかモジュール名とか）もとれるようになってるんですかね？