Instance checking and phantom types

Nick Name at
Mon Sep 15 21:44:21 EDT 2003

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?



More information about the Haskell-Cafe mailing list