f . g を \x -> f $ g x ではなくて (\g x -> f $ g x ) g x とすると、 Slam::Dunk.new は (\g x -> g x) g x と定義できる！！
actor パターンの方がいろいろ便利そう。
アクセサあったほうがArrowの定義とかで便利
Arrow の定義を actor スタイルに
アクタスタイル
かなりややこしいことをしているけど、これで Applicative.* の左結合性をうまく表現できた。
** とかは proc を返す proc を受け取る仕様なので fizzbuzz も fix