Ashley Yakeley wrote: > > 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.
You are right. My comments attack the Data.Dynamic.typeOf style. Your use of a designated phantom datatype "Type" and my use of "->" for this purpose seem to be equivalent. Ralf _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell