Nice post. @marcosh where do you think relative monads feature in this?

Applicative-wired monad pattern Links

Oh sure. Essentially a relative monad in Haskell is a type constructor with the following operations: -- f is a functor, but not necessarily an endofunctor class Relative f g where rPure :: g a -> f a rBind :: (g a -> f b) -> f a -> f b with some laws (which are essentially the same…

Hey @marcosh,

great post, thank you. Due to the posts by you and others I have recently looked more into category/arrow based programming. Now I have a question on which I’d like to pick your brain (or anyone elses in the community.)

I really like the concept of Alternative and Parallel like you used them and how you drew the diagram. This strongly suggested to me that strong profunctors…