existential type Foo: Fn() -> usize;