> > Prelude> :t 
> > \ s e -> s e /= [] :: forall t a.
> >                       (Eq [a]) =>
> >                       (t -> [a]) -> t -> Bool
> 
>  hugs (の:tコマンド) だと Eq a => ... となるのに、それとも違いますね。
>  「リストがEqのインスタンス」⇔「要素がEqのインスタンス」という
> ことなんでしょうか。でないと、双方で意味が変わっちゃいますよね。

ううむ。

「要素がEqのインスタンス」⇒「リストがEqのインスタンス」

ではあるんですが。Hugs のメッセージは不正確ですねぇ。Hugs の型推論システムの
実装は大丈夫なのかしらん。

--nobsun


--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/