How to convert between 2 type aliases in python