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