什么是理解箭头的好地方？理想情况下，我只是在寻找一些简洁定义的地方，并从一些好的例子中得到动机，类似于Wadler对monad的阐述。
我发现Hughes的原始论文（“将Monads推向箭头”）相当容易获得。你可以阅读它的旧草稿 这里。它与原始论文有一些不同之处，这些论文在论文中都有提及 参考书目页面 罗斯帕特森自己的 箭头概述。
http://en.wikibooks.org/wiki/Haskell/Understanding_arrows
如果你从实践中学到的东西比理论更好，请尝试使用 HXT 用于XML操作，或 PArrows 用于一般解析。他们都有以箭头为中心的API。