On 2020-06-02 20:48 +0200, Marc Nieper-Wißkirchen wrote:
> For example, lefts should definitely be able to hold more than one
> value if we want to model Haskell's Either type completely but also
> for other reasons.

They do, with the latest changes, which I assume will be Draft #5.
The above announcement doesn't include anything new (see my response
to Arthur).

Regards,

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"Not all programming languages have a way to write definitions, but
most do.  Those that do not are for wimps."  --The Great Quux