relaxing instance declarations
doug at cs.dartmouth.edu
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.
More information about the Haskell-prime