>>236,237
<T extends IF1<T> & IF2<T>>