Hello, I am new to this group (and haskell) and I have read in the introduction of the report (1.2) about research in supplying classes with (as I understand constant ) parameters. As I need a class for finite sets, I think this concept would suit well here: Of course, there is a simple workaround by using tuples where each tuple cons this constant parameter: something like: class FiniteSet(Elements::Int) c where member::c->Bool and so on That is, I have for every Integer a different class. Greetings ...
