結果 : python typing union of string literals