そうか。マクロ評価の順序付けさえあれば解決できるケースはまだよくて、あるマクロの評価前の型情報と、評価後の型情報が、互換性が無いパターンがありえるんですね。 (edited)