T と T? にサブタイプ関係を認めるのと、T? と U? (TとUはサブタイプ関係) にサブタイプ関係を認めるが同居すると、しんどくなるやつですね