使用Lens访问函子内数据：MVar/TVar容器下的Lens特性问题

我最近在使用Haskell的Lens库时发现，它处理深层嵌套数据的访问简直太顺手了！比如我定义了这样几个嵌套的数据结构：

data SomeStruct = SomeStruct { _b :: Int }
makeLenses ''SomeStruct
data AppState = AppState { _a :: SomeStruct }
makeLenses ''AppState
data App = App { _state :: AppState }
makeLenses ''App

用Lens的组合语法从左到右链式访问深层字段特别便捷，一行代码就能拿到最内层的Int值：

let v = App (AppState (SomeStruct 3)) in v^.state.a.b

可一旦把_state这类字段换成MVar、TVar这类带并发特性的容器，Lens原本的流畅体验就被打破了。这类容器需要我们先通过takeMVar、readTVar这类操作获取内部值，没法直接像之前那样用Lens组合链一步到位访问深层数据，着实有点头疼。

内容的提问来源于stack exchange，提问作者xal