Instance checking and phantom types

Sven Panne Sven.Panne at
Mon Sep 15 22:04:41 EDT 2003

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

What I meant was the fact that you always have to write down *all* contexts
involved in a type signature. Nothing is "inherited under the hood" by
contexts in datatype declarations.


More information about the Haskell-Cafe mailing list