Are fundeps the right model at all?
Marcin 'Qrczak' Kowalczyk
8 Jan 2001 17:21:52 GMT
Mon, 8 Jan 2001 17:53:35 +1300, Tom Pledger <Tom.Pledger@peace.com> 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 * firstname.lastname@example.org http://qrczak.ids.net.pl/
^^ SYGNATURA ZASTĘPCZA