Hacker News Reader

The option monad is literally isomorphic to maybe. It 100% follows the definition of a monad and is an instance of the monad type class in Cats and Scalaz.

Many algebraic data types are monads. I’m not sure why you think that is a contradiction.

View on HN

This isomorphism has no meaning. It is also isomorphic to logical OR, if you wish. Shall we wrap OR into a Monad?

I 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.

I think you mean of Either. Either is isomorphic to logical OR in type theory.

Reply on news.ycombinator.com