如何在 Kind-Lang 等纯函数式语言中使用代数数据类型对 Int 类型进行编码？
在 Kind-Lang 等函数式语言助手中，自然数通常被形式...