relaxing instance declarations

Doug McIlroy doug at
Sun Apr 28 16:49:22 CEST 2013

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

More information about the Haskell-prime mailing list