Functional dependencies question

[Iavor Diatchki]

hello,

Simon Peyton-Jones wrote:
> It is undoubtedly odd that adding an instance declaration makes a legal
> program illegal, and that might be a reason for relaxing the rule... but
> it's not entirely easy to implement such a relaxation.

this has always been the case, unless i am misunderstanding what you are 
saying.
for exampel adding the instance:

instance Show Int

will make any valid program invalid

bye iavor