George, Thanks very much for this. I like your suggestion, which
fits the logical structure perfectly; and you've suggested a neat way
around the ugliness of 'group groupBy'. I also note that if we aren't
so worried about not introducing new keywords, that 'then group' could
become 'group'. You
For some reasons Philip's email was rejected by the mailing list.
I am reposting his message. See below.
Cheers, George
Begin forwarded message:
> From: Philip Wadler
> Date: 2011-October-11 11:48:31 GMT+02:00
> To: Simon Peyton-Jones , George Giorgidze
>
> Subject