scala - 为什么 Shapeless 中的 _0 Nat 是一个类而不是一个对象？

Question

我试图理解无形，我遇到了这个：

// 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是一个特殊且独特的情况，例如Nila List。_0没有前任。为什么它不是一个对象/案例对象（它是一个单例）？ HLists 似乎这样做：

// `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

（只是猜测，我不知道原来的原因。）

也许这样一个类型 _0是可用的（像 in 一样显式传递它def fun[N <: Nat] = ???; fun[_0]，或者更简单地定义这个类型的隐含）。

如果_0是单例，则只有类型_0.type可用。

同样的事情HNil？