一般化された代数的データ型 (GADT)

だめぽ

2023.06.30に更新