Дженерики с типами высшего порядка

Здравствуйте. Подскажите, можно ли в rust сделать что-то вроде этого?

impl<F, T> Display for F<T> where F: Collection<T>, T: Display {...}

Пока нет