Haskell Lens的组成？〜

Question

我们在Lens中有一个运算符?~。 如果a & b . c ?~ d是_c类型的字段，我们可以做b。如果b的类型为Maybe (type of _c)，该怎么办？

Answer 1

也许是这样的：

[Just (Just 1, 'a')] & _head . _Just . _1 ?~ 2