
4 Oct
2021
4 Oct
'21
1:04 p.m.
On Mon, 4 Oct 2021, Tom Ellis wrote:
On Mon, Oct 04, 2021 at 06:12:13PM +0200, Henning Thielemann wrote:
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.