One doc tagged with "nominal-typing"

Brand 型を unique symbol + Mapped Type で実装し companion で生成境界を閉じる