Common supertype for One and Zero?

[oschulz]

Would it make sense to have something like One <: StaticBool <: Integer and Zero <: StaticBool <: Integer, since Boolean algebra is a group?

[oschulz]

Ah, silly me, it's not a Boolean algebra, of course.

[perrutquist]

There is already an unexported StaticBool.

julia> One <: Zeros.StaticBool <: Integer
true

[oschulz]

Oh, sorry, must have overlooked that. But in any case, it wouldn't really form a group, mathematically, since One() + One() is not a One. :-)