yyu 1/20/2023 9:58 AM

なるほど、型を使って（？）オブジェクトのヴァリデーションみたいなことができて便利そう。

9:58 AM

型レベル計算か？