是否存在Rank N透镜？高阶Rank遍历构造的命名与库支持问询

你定义的这种构造属于多态遍历（Polymorphic Traversal），也常被称为Rank-2 Traversal——核心原因是它的类型参数包含了Rank-2多态函数（forall b. Expr b -> f (Expr b)），这和常规lens库中针对单态类型的Traversal形成区别。

现有库的支持情况 #

• lens库：通过启用RankNTypes扩展，你可以将这种多态遍历适配到现有框架中。虽然常规Traversal更多用于单态场景，但它的泛化类型本身兼容Rank-N多态，只需调整类型签名即可复用set、over等工具函数。
• optics库：作为更现代的透镜替代方案，它的Traversal类型天然支持高阶多态，对GADT这类带索引的类型结构的遍历支持更直接，不需要额外的变通手段。

相关研究背景 #

这类多态遍历本质是泛型遍历的特殊形式，其理论基础源于遍历函子（Traversable Functor）的泛化，以及高阶多态在类型导向编程中的应用。在依赖类型和GADT的研究领域，多态遍历被广泛用于处理带索引的递归类型结构，实现统一的修改、查询逻辑。

关于view函数的实现 #

你提到的view函数的障碍（非直谓类型）可以通过Const函子的高阶用法解决，比如借助RankNTypes扩展定义如下版本：

view :: (forall b. Expr b -> r) -> Expr a -> r
view f = getConst . transform (Const . f)

这里通过Const将多态查询函数包装为Applicative兼容的形式，从而复用transform的遍历逻辑，实现多态视图的提取。

内容的提问来源于stack exchange，提问作者Artem Yu