Arrow記法
from Arrow型クラス
ArrowsGHC拡張を使うことで、使える記法が増える
monadに対するdoのようなイメージ
hsf = proc x -> do -- xを仮引数とする計算fを定義.
y <- g -< x -- 計算gにxを渡して実行して、結果をyに格納
z <- h -< (x, y)
returnA -< z -- 値を返すときは returnA を使う引数は1つになる
proc はラムダ式のようなイメージこの辺のキーワードが増えている
proc -< returnA 
合字でみれば矢印の流れがなんとなくイメージできる気がする
x を入力して、 (2 *) を経由して、 y に突っ込んでる感じArrow記法を使わずにArrowを書いているとポイントフリー頻出で読みづらいので、それを回避するための方法のような #??
『関数プログラミングの楽しみ』 10章
arrowを使わないラムダ抽象のoverloadのやりかた