yfyf/cat-arrows — pull request #8 by knuton (2013-10-27 18:40:07+00:00)
Title: [WIP] Add arrows intro

For early feedback: Is this actually a good way of introducing arrows?

Can we just say that historically they appeared as a generalization of monads without introducing monads in much detail? Or is this bad for some reason?