Support `impl Fn(impl Trait)` and `impl Foo<impl Bar>`

[nikomatsakis]

Motivation

Would be nice to permit impl Fn(impl Trait) and impl Foo<impl Bar> -- but what should it mean?

Details

Describe your idea.