Does Clean have a type-class system similar to haskell? I.e. define a type as a sub-type of an existing class and also redefine the operators on that class. See http://www.win.tue.nl/~wsinrik/vakken/2M040/fp+oop=haskell.ps . I hope I have formulated my question clearly. Regards, Sander van den Berg