Language extension proposal

[Ralf Laemmel]

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