3 ms·I think you mean of Either. Either is isomorphic to logical OR in type theory.by AnaniasAnanas 8y agoI think you mean of Either. Either is isomorphic to logical OR in type theory.