type equality symbol

[Bulat Ziganshin]

Hello Simon,

Wednesday, December 5, 2007, 7:05:22 PM, you wrote:

> Anyway, while on this subject, I am considering making the following change:
>         make all operator symbols into type constructors
>         (currently they are type variables)

i like it. will the same apply to the type functions? i.e. will it be
possible to define +, *, etc type functions?


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com