Joint union in type parameter variance 也是第一次知道 http://stackoverflow.com/questio...