[Haskell-cafe] Nested (=>) (Was: On finding the right exposition...)

[Henning Thielemann]

On Mon, 4 Oct 2021, Ben Franksen wrote:

> Talking of inconsistencies, Haskell is not without some of those. For 
> instance, I never understood why (->) is right associative in types, but 
> (=>) is not and you are instead supposed to pack constraints in a tuple. 
> (It works in some simple cases but not consistently.)

I use nested (=>) frequently. GHC allows it in type signatures but not in 
super-class constraints. Would be cool to be allowed everywhere, as it 
supports the "terminator syntax style".