Haskell 哈斯克尔透镜的组成~

镜头中有一个操作符

？~

。

---

我们可以做

a&b。c？~d

如果

\u c

是

b

类型的字段。如果

b

有

可能（c的类型）

类型，我应该使用什么？

可能类似于：

---

[Just（Just 1，'a'）]&u head_只是_1？~2

这可能至少有两种不同的语义；请举例说明问题（并键入签名）。是的！谢谢！