use-site については型が決まるから展開してから考えるんじゃない？

8:51 AM

問題は declaration-site でどのように扱うかというモデルであって、

8:51 AM

use-site は常に展開したらいいんじゃないかな？