如何组合包含上下文的镜头？

Question

我从 authorityL 开始，经过 authorityHostL 到 hostBSL - 我知道你可以通过

组合镜头

(authorityL . authorityHostL . hostBSL)

但是 Couldn't match type ‘Authority’ with ‘Maybe Authority’ 失败了。这里的Maybe如何正确处理？

Answer 1

您可以在两者之间添加一个 _Just 以仅关注成功的结果。

(authorityL . _Just . authorityHostL . hostBSL)

是否像评论中所说的那样操作。