Type Level Booleans

boolean.scala

sealed trait Boolean{
  def value: bool
}

case object True extends Boolean{
  val value = true
}

case object False extends Boolean{
  val value = false
}

Or.scala

trait Or[X <: Boolean, Y <: Boolean]{
  type Out <: Boolean
  def value: bool
}

object Or extends LowPriorityOr{
  def apply[X <: Boolean, Y <: Boolean](implicit or: Or[X, Y]): Aux[X, Y, or.Out] = or
  
  implicit object OrFalse extends Or[False, False]{
    type Out = False
    val value = false
  }
}

trait LowPriorityOr{
  implicit OrTrue[X <: Boolean, Y <: Boolean] = new Or[X, Y]{
    type Out = True
    val value = true
  }
}