python typing overload literal