結果 : python type parameter is invariant