データ型の昇格（DataKinds拡張）

だめぽ

2022.03.21に更新