Mon, 8 Jan 2001 17:53:35 +1300, Tom Pledger <[EMAIL PROTECTED]> pisze:
> > Having types with type variables which are never instantiated nor
> > constrained should be equivalent to having ground types!
>
> Do you have any examples of such a type variable in an instance decl?
Not quite. When the type variable is never instantiated, like in ST
(ghc's and hbc's state threads), I don't see fundeps.
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/
^^ SYGNATURA ZASTÊPCZA
QRCZAK
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell