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

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Mon Oct 4 16:36:33 UTC 2021

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.

More information about the Haskell-Cafe mailing list