Does lens have a succinct way to traverse a nested data structure where each node is a maybe?
Lenses + Prisms (nicest way I know of in lens):
nested ^? foo . _Just . bar . _Just . baz . _Just
vs. the Maybe monad:
foo >=> bar >=> baz $ nested
Lenses + Prisms (nicest way I know of in lens):
nested ^? foo . _Just . bar . _Just . baz . _Just
vs. the Maybe monad:
foo >=> bar >=> baz $ nested
nested ^? foo . mapped . bar . mapped . baz . mapped
And then it should always be said that the lens has setter properties that the `>=>` chain does not.
https://www.fpcomplete.com/user/tel/lens-aeson-traversals-pr...