型レベルの検証の実装

次のトピックでは、型レベルの検証の実装方法を説明します。


検証ロジックの実装