HaskellLens：可能的棱镜
我有这些镜头：
getB :: Lens' A (Maybe B)
getC :: Prism' B C
如何Maybe C从A中提取a ？我能找到的最好的：
case A ^. getB of
Just b -> b ^? getC
Nothing -> Nothing
还有更优雅的吗？
回答
_Just :: Prism' (Maybe a) a
该_Just棱镜将让你的价值出来的Maybe。
a ^? getB . _Just . getC