Some people write:
| "Type signatures in instance declarations?"
| Why are these illegal?
I agree completely. Related questions are:
* Why can one not have a type declaration of a function
twice ore more in a file? It seems a bit silly, because
you are allowed to put the type declaration of a
function any place you want, but you cannot copy it.
* Why can one not have a type declarion in the export
list of a module? Common practice for many people
is to put these types in comments now (which is really
dangerous, since the types might change but not the
comments).
Regards,
Koen.
--
Koen Claessen http://www.cs.chalmers.se/~koen
phone:+46-31-772 5424 e-mail:[EMAIL PROTECTED]
-----------------------------------------------------
Chalmers University of Technology, Gothenburg, Sweden
