特定のケースに突入するとOptionalのtagged unionの特性が喪失するということと同義