入れ子のクラスっていうか型内での型定義ができない感じだよな
モジュールに入れりゃいいんだろうけども、クラス内でしか使わない状態保持用の判別共用体とか中で定義しちゃいたい気持ちはある