> Suggestions welcome.

```scala
object INil extends IList[Nothing]{
  def apply[A](): IList[A] = this.widen[A]
  def unapply[A](as: IList[A]): Boolean = this eq as
}
```