module main type Foo = T fn main() { }