This is unsafe because Liskov is not enforced on `__init__` methods. It also makes the exclusion of `__init__` from variance-inference unsafe.