type Foo = nil