relaxing instance declarations

[Doug McIlroy]

Is there any strong reason why the where clause in an instance 
declaration cannot declare anything other than class
operators? If not, I suggest relaxing the restriction.

It is not unusual for declarations of class operators to
refer to special auxiliary functions. Under current rules
such functions have to be declared outside the scope in
which they are used.

Doug McIlroy