[Pre-RFC] named arguments

[MaikKlein]

What about traits?

fn bar<F: TraitFoo>(pub f: TraitFoo = Foo::new()){}