使用 Dhall 将递归类型编码为 JSON
我想要的输出的简化版本： <pre class="lang...