Diagonalization/ dupe for monads and tuples?

Henning Thielemann lemming at henning-thielemann.de
Thu Sep 17 13:53:34 UTC 2020

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.

More information about the Libraries mailing list