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

[Tom Ellis]

On Mon, Oct 04, 2021 at 06:12:13PM +0200, Henning Thielemann wrote:
> 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".

Could you say what "terminator syntax style" is?  I'm not finding any
hits on popular search engines.