On Sat, 11 Sep 1999, Heribert Schuetz wrote:
>
> Most of this is probably well-known stuff and written down in papers.
> Which ones? The Haskell report concentrates on the static semantics of
> classes and instances. It looks like the dynamic semantics is expected
> to be already understood by the reader or intuitively clear. Are the
> references [6] (Jones: A system of constructor classes: overloading and
> implicit higher-order polymorphism) and [11] (Wadler/Blott: How to make
> ad hoc polymorphism less ad hoc) of the report available on the Web?
>
Have you read "Typing Haskell in Haskell" by Mark P.
Jones?
(written not so long ago, available on Web and to be presented
in Haskell Workshop 1999).
It might help you with some of your questions.
Jan
