@omochimetaru その場合、 @rintaro さんが言うようにモジュールまたいだらエラーか判定できなくない？それとも、解決された型の情報を埋め込む？