// Ġ! DIAG NO ST ICS : Ġ- UPPER _ BOUND _ VI OL ATED Ċ Ċ interface ĠC 0 < T , ĠS Ġ: ĠC 0 < *, ĠS >> Ċ Ċ interface ĠC 1 < T Ġ: ĠC 1 < T , Ġ* >, ĠS Ġ: ĠC 1 < S , Ġ* >> ĠĠ Ġ// ĠT Ġ-> ĠS , ĠS Ġ-> ĠS Ċ interface ĠC 2 < T Ġ: ĠC 2 < T , Ġ* >, ĠS Ġ: ĠC 2 < *, ĠS >> ĠĠ Ġ// ĠT Ġ-> ĠS , ĠS Ġ-> ĠT Ċ Ċ interface ĠD 1 < T , ĠU > Ġwhere ĠT Ġ: ĠU , ĠU : ĠD 1 < *, ĠU > Ċ interface ĠD 2 < T , ĠU > Ġwhere ĠT Ġ: ĠU ?, ĠU : ĠD 2 < *, Ġ*> Ċ interface ĠD 3 < T , ĠU , ĠV > Ġwhere ĠT Ġ: ĠU , ĠU Ġ: ĠV , ĠV : ĠD 3 < *, Ġ*, ĠV > Ċ Ċ interface ĠA < T , ĠU > Ġwhere ĠT Ġ: ĠA < U , ĠT >, ĠU : ĠA < T , ĠA < in ĠU , ĠT >>