type Foo<> = () -> ()