python typing literal example