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

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".