Foo|Never == Foo が自動的に成り立つという意味で < untagged