trait T<U>: Hash + Clone where U: Copy {}