arr
from Arrow型クラス
普通の関数(->)をより抽象的なcomputationに変換する
arrは関手である
fmapと異なり、自己関手にとどまらないmrsekut.icon
関手の定義を満たす
具体的にHask圏で満たしていることを示す
合成の保存
arr (g.f) == arr g . arr f
紛らわしいが左辺の.はHask圏のもので、右辺の.はCategoryの定義
恒等射の保存
arr id == id
紛らわしいが左辺のidはHask圏のもので、右辺のidはCategoryの定義