ArrowApply ≒ Monadって書いたけど、本当はArrowApply = Monadらしい。

つまり、KlisliArrow (ArrowMonad a) は a と等価であるらしい。

細かい証明は載ってないのでArrow則から証明しようと思ったら途中で力尽きた。
圏論に関する知識があるともっと簡単に証明できるんだろうか。

とりあえず後で修正しときます。