応用：GHCの型レベル自然数（Natカインド）

だめぽ

2022.04.07に更新