While I like the functional style you actually did bring up one of the cases where I find the syntax a bit too much. Why can't we have the functional interface information on F directly in the signature?

Why not something more akin to ML?

    fn map<T, U, 'a>(vector: &[T], function: &'a T -> U) -> Vec<U>