そのモジュールをまたぐときはExistentialと同じ仕組みでいけません？

3:51 AM

「どの関数から来た」って情報はあくまで別モジュールで型チェックするときに引っ張れればよくてコンパイル後は消える。

3:52 AM

Existentialと同じ仕組み＝(値本体, 真の型のメタタイプ, そのPWT...)