At 2003-06-28 02:51, Ralf Laemmel wrote: >Suffering from persecution mania, >I prefer to know for sure that nobody never ever will >pattern match on those a's. So I prefer to write: I don't understand. Did you mean pattern-match on MkType? I could stop that by hiding it but exposing mkType = MkType. -- Ashley Yakeley, Seattle WA