3 ms·
This isomorphism has no meaning. It is also isomorphic to logical OR, if you wish. Shall we wrap OR into a Monad?
by throwaway487549 8y ago
This isomorphism has no meaning. It is also isomorphic to logical OR, if you wish. Shall we wrap OR into a Monad?
- kreetx 8y agoI think you're overthinking it. The isomorphism simply exists. And you don't wrap things into a monad, you just write an instance for it -- it has no effect on the data type itself, it simply allows to use the data type in monadic contexts.
- AnaniasAnanas 8y agoI think you mean of Either. Either is isomorphic to logical OR in type theory.