Re: Why is $ right associative instead of leftassociative?

Brian wrote:

> I think the mystery surrounding :: and : might have been that
> originally people thought type annotations would hardly ever be needed
> whereas list cons is often needed, but now that it is regarded as good
> practice to put a type annotation before every top level value
> binding, and as the type system becomes more and more complex (eg with
> GADTs etc), type annotations are now presumably far more common than
> list cons so it would be good if Haskell Prime would swap these
> operators back to their de facto universal inter-language standard of
> list cons and type annotation respectively.

I don't think Haskell Prime should be about changing the look and  
feel of the language.

Regards,

   Stefan