Frank A. Christoph:
> I hope that Either will be renamed to (+), or at
> least deprecated in favor of (+).

I'd basically agree with Frank here, though presumably for consistency
with Koen's (very reasonable) proposals, this would need to be the
symbol (:+:) -- or characters to that effect -- for consistency.

Presumably :*: could also be made a type contructor alias for products
via a "type" definition, but "fixing" the corresponding data constructor
is more than somewhat problematic.

Slainte,
Alex.


Reply via email to