Combination of types with python typing