[Haskell] A puzzle and an annoying feature

Keean Schupke k.schupke at imperial.ac.uk
Thu Nov 25 15:24:10 EST 2004

Daan Leijen wrote:

> You are right, I feel like that too: one should expect that the type
> checker can figure this out, and perhaps it is even really useful.
> On the other hand, suppose you decide later to export the
> class, and suddenly your code would no longer type check.

I must have missed a mail... how could adding an export change the

> The fact that adding an export defintion would lead to a type
> error somewhere else in the code might be rather confusing.
> (worse! it might be considered inelegant :-)

More information about the Haskell mailing list