This diagram demonstrates the relationship between certain
See the Typeclassopedia for details.
This diagram demonstrates the properties of certain
Monad operators when using the
(→) a instance.
(It’s interesting to note how the types, when specialized to the
(→) a instance, dictate the only correct behavior for each
Although completely unrelated to functors, a visualization of
on might be appropriate here, since it has some conceptual
similarity to the combinators above. (Well, it could be
implemented in terms of them as
(f `on` g) x y = liftA2 f ($x) ($y)
(Inspired by mauke’s diagram.)
(Source code for the diagram.)