标签： haskell lenses
因此，Functor生成1-1逻辑数据流 - Lens。 Applicative生成n-1个逻辑数据流 - Traversal。 Applicative Choice上的Profunctor会对＆＃34;中断部分＆＃34;机制 - Prism。
Functor
Lens
Applicative
Traversal
Choice
Profunctor
Prism
是否有任何有趣的已知结构涉及Monad，MonadPlus等功能或Profunctors的其他子集？
Monad
MonadPlus
Profunctors