Are fundeps the right model at all?

[Marcin 'Qrczak' Kowalczyk]

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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK