>>700
> 副作用がある特別な関数を抽象化したのがアローですよね

そうなの？

「計算」という概念を抽象化して圏論の視点で構築したのがアローじゃないの？
モナドも「計算」という視点で捉え直せば Kleisli というアローで一般化できるのだと

アロー自体に副作用の概念は特にないと思ってたのだが