我正在寻找一种方法来查看记录类型的字段类型，基本上是.Dhall REPL 中的类型级别等价物
假设我已经完成：
:let Person = { name : Text, age : Natural }
我如何在不必实例化 Person 的情况下找到 Person.name 的类型（即）Text？
如果我创建 Person 类型的术语，例如:let betty : Person = { age = 34, name = "Betty" }，我可以这样做:type betty.name，但我正在寻找与之等效的类型级别。
dhall-kubernetes实际用例是在具有许多字段的深度嵌套记录中查找字段类型。
谢谢，如果我的 Google-fu 失败并且之前有人问过这个问题，我们深表歉意。