応用：GHCの型レベル文字列（Symbolカインド）

だめぽ

2023.06.30に更新