So, Functor makes the logical data stream 1-1 - a Lens . Applicative creates an n-1 logical data stream - a Traversal . Applicative at Choice Profunctor creates a โbreak upโ mechanism - a Prism .
Are there any interesting structures containing the capabilities of Monad , MonadPlus , etc. or some other subsets of Profunctors ?
source share