Re: Diagonalization/ dupe for monads and tuples?

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.