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