Diagonalization/ dupe for monads and tuples?

[Henning Thielemann]

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.