それぞれの存在を真偽として論理を組み立てています一方で

8:12 AM

@hironytic の議論では、その型が状態として取り得るのは何なのか、という議論なので

8:13 AM

型TとUの具体的な値が同じところに格納されていて、論理の対象は型そのもの

1