同一モジュール内は露出していいと思うんだけど、モジュールをまたぐときに reverse generics 独自の表現になるんじゃない？