>Alex Ferguson wrote:
>
> | 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.
>
>I agree.
>
>Note that the symbol (+) as a type, would become a type _variable_. I
>think, just as it is usefule to have (+) as a formal parameter of a
>function, it is useful to have operators as type variables also.
Ah yes, I missed that little detail.
I very much like the idea of using (+) as a type variable. For example, it
could be used as the parameter name of a functor type that plays the role of
coproduct in some category.
--FC
