Diagonalization/ dupe for monads and tuples?

[Carter Schonwald]

Yup!

On Thu, Sep 17, 2020 at 9:53 AM Henning Thielemann <
lemming at henning-thielemann.de> wrote:

>
>
> On Thu, 17 Sep 2020, Carter Schonwald wrote:
>
>
>
> > I’d expect fromEither to be
>
> > Either a b -> (a-> c )-> (b-> c) -> c
>
>
>
> This is the signature of 'either', with different parameter order.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200917/65d1513a/attachment.html>