そうなんだよ。それが型定義の側じゃなくて利用側にあることがレビューを楽にするんだよな