Arrowって魅力的な実例が少ないんだよな
正確に言うと、MonadにはならないがArrowになる実例
パーサもFRPもXML処理もMonadになることが多そうだし