object Test {
  type Hui = Nil.type
  val n: Hui = Nil
}