Dean Herington wrote: > > Why is that expression not type-correct? > > [Answering my own question...] > > Duh. Because the type doesn't partake of Eq. Right. Of course, it's a different kind of error than for example [Orange] == Orange --- where no Eq Color instance decl would help, and I wonder if there is a special name for it. Bye Christian Sievers