> > >   data _E a = _E a
> >
> > Yes, that seems about right. BTW, why is it called "_E"?
> 
> The 1 element tuple (which is what this is) has no syntax in Haskell.
> It has many names all over the place

And more specifically, 
  (a) the leading underscore in _E means it is not a legal Haskell'98
      type or data constructor, so cannot clash with any user-defined
      constructor;
  (b) the E stands for "evaluate", which is rather unintuitive since
      the constructor means _don't_ evaluate, but you can blame me for
      that thinko.

Regards,
    Malcolm
_______________________________________________
Yhc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/yhc

Reply via email to