Instance checking and phantom types

[Nick Name]

Alle 20:07, lunedì 15 settembre 2003, Sven Panne ha scritto:
>  IIRC the
> reason for this design decision was that contexts in type signatures
> should always be explicit.

Got it ;) Thanks for prompt reply. What does "should always be explicit" 
mean? Is there a notion of "explicit context" that I should know?

Thanks

Vincenzo