问题描述
我正在寻找一种查看记录类型的字段类型的方法，基本上是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失败，并且已经有人问过了，我深表歉意。
解决方法
该语言尚不支持此功能，但我刚刚提出了一个跟踪该想法的问题：