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.