as_capabl
たとえば、関数を書く時に常に
のように書けば、SF Int Intに変換したいときarrをいちいち書かなくていい関数は作れますが…
twice :: Arrow k => k Int Int twice = arr $ \x -> x * 2
のように書けば、SF Int Intに変換したいときarrをいちいち書かなくていい関数は作れますが…