a -> m bの関数を合成するKleisli Compositionから入るArrowsのチュートリアル。身近な話題から入っているので、私にとっては他のArrowsの話よりも導入部分がわかりやすいです。まだ最後まで読んでいないので、理解したわけではないですけど。
a -> m b
HXTのArrows APIはなんとなく使えはするものの、ちゃんと理解しているわけではないのでそのあたりがわかるようになると良いのですが。