type Foo = fn(_: bar);