Chapter 08
一般化された代数的データ型 (GADT)
だめぽ
2023.06.30に更新