"Marc Ziegert" <coeus@gmx.de> writes:

--------------------It would be nice to be able to overload class-functions like classes:

instance (+), (-) -> Vector where (+) v1 v2 = ... (-) v1 v2 = ...

--------------------instead of overloading parts of a class... (because of runtime-errors!)

This seems related to "System CT" (http://www.dcc.ufmg.br/~camarao/CT/). In System CT, everything is (potentially) overloaded, and you don't have explicit type classes. Carl Witty cwitty@newtonlabs.com