eparejatobes

trait UnionOf[L <: HList] {
  type Mix
  type Out = not[Mix]
  type is[O] = UnionAux[L, O] 
}

/* Implicits for constructing union: */
object UnionOf {
  implicit val nil = 
    new UnionOf[HNil]   { type Mix = not[Nothing] }