Monad/MonadPlus /等其他镜头?

Hei*_*ell 5 haskell lenses

因此,Functor制作1-1逻辑数据流 - a Lens.所述Applicative使得n-1个数据流的逻辑-一个Traversal.在ApplicativeChoice Profunctor使得"打破部分"机制-一个Prism.

有没有涉及任何有趣的已知结构Monad,MonadPlus等功能或一些其他子集Profunctors