Yeah, it was simple, I got confused by reasoning like in the tuples case so i was expecting something like (Left(true), Right(Left(true)) and so on...
Sorry for the stupid question, feel free to cancel the previous comment ;)

No, it was a good question, maybe I should have listed all the values to make my point. Indeed if we had been working with (Either[Boolean], Either[Either[Boolean]]) we would have had 8 values !

## re: Anatomy of an algebra VIEW POST

TOP OF THREAD FULL DISCUSSIONHi,

Well the 4 values you listed, wrapped in a Right, are the Right part of the Either[Boolean, Either[Boolean, Boolean]]]:

-Right(Left(true))

-Right(Left(false))

-Right(Right(true))

-Right(Right(false))

Then you have the Left part of the Either[Boolean, Either[Boolean, Boolean]]] which are the following values:

-Left(true)

-Left(false)

Which makes 6 values, is that ok for you ?

Yeah, it was simple, I got confused by reasoning like in the tuples case so i was expecting something like (Left(true), Right(Left(true)) and so on...

Sorry for the stupid question, feel free to cancel the previous comment ;)

No, it was a good question, maybe I should have listed all the values to make my point. Indeed if we had been working with (Either[Boolean], Either[Either[Boolean]]) we would have had 8 values !

Thanks for you question.