PEP 673: Self Type