Arrows (strong promonads) are an abstraction used to capture notions of computation beyond the monadic ones. An arrow over a small category is a monoid in the category of profunctors that carry an internal strength, with the composition monoidal structure.
Tags: Strong promonad, Haskell References: