Dlaczego _0 Nat w Shapeless to klasa zamiast obiektu?

Question

Próbuję zrozumieć bezkształtne, i natknąłem się na to:

// Base trait for type level natural numbers. 
trait Nat { 
    type N <: Nat 
} 

// Encoding of successor. 
case class Succ[P <: Nat]() extends Nat { 
    type N = Succ[P] 
} 

// Encoding of zero. 
class _0 extends Nat { 
    type N = _0 
} 

_0 jest wyjątkowy i jedyny przypadek, jak Nil dla List. _0 nie ma poprzednika. Dlaczego nie jest obiektem obiektu/przypadku (który jest singletonem)? HList s wydaje się to zrobić:

// `HList` ADT base trait. 
sealed trait HList 

// Non-empty `HList` element type. 
final case class ::[+H, +T <: HList](head : H, tail : T) extends HList { 
    override def toString = head+" :: "+tail.toString 
} 

// Empty `HList` element type. 
sealed trait HNil extends HList { 
    def ::[H](h : H) = shapeless.::(h, this) 
    override def toString = "HNil" 
} 

// Empty `HList` value. 
case object HNil extends HNil 

Answer 1

(tylko zgadywać, nie wiem, oryginalny powód.)

Może i tak, że typ_0 jest dostępny (aby przekazać je wyraźnie jak w def fun[N <: Nat] = ???; fun[_0] lub po prostu zdefiniować implikacje tego typu).

Jeśli _0 byłby singletonem, dostępny byłby tylko typ _0.type.

To samo dotyczy HNil?