protocol B {
  associatedtype T : A
}