#a -> b から b -> a を導けないとだめなんじゃないのかしらん？
#> instance Functor (-> r)
#うん、f :: (Arrow (~>)) => (a ~> b) -> (b ~> a) をうまいこと作れるような Arrow にだけ instance Functor (~> r) が作れるのかなーとは思うけど
#難しくてよくわからない
#(a ~> b) -> b が可能であるような ~> ということなのかなぁ
#どこかで見たような...Continuation...
#ああなんか変だ。。。
##数時間後に締め切りが迫っている Haskell の宿題を Stack Overflow で聞いたら、15 分で答えが返ってきたかわりに、さんざんお説教されたでござるの巻。
haskell-ja > Archives > 2009/06/05