根本はT is-a T?かつT?をtagged unionにした設計が誤りでしたねに尽きるんだが