((), Nil()) passes {
  case () => Cons(0, Nil())
}

was true(!) because Nil </: Cons and Cons </: Nil which caused the case
to filtered out silently.