[Haskell] A puzzle and an annoying feature

[Keean Schupke]

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
code?

> 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 :-)
>
>
    Keean.