- 577 名前：デフォルトの名無しさん mailto:sage [2012/02/12(日) 19:23:37.68 ]
- Yampa の par 関数の型について質問です。
（他のパラレル系関数もですが、代表して par を選びました）
par :: Functor col => (forall sf. a -> col sf -> col (b, sf)) -> col (SF b c) -> SF a (col c)
このルーチン関数の sf という型変数には、SF b c 以外入ることは無いと思うのですが、
単純に a -> col (SF a b) -> col (b, SF a b) という型では何がいけなかったのでしょうか
