Enforcing __init__ signature when implementing it as an abstractmethod

[oscarbenjamin]

@Eneg

Any covariant attribute of a class would thus result in being invariant:

I’m confused by this example because there are no type parameters. What type is having variance with respect to what? Do there not need to be type parameters before we can speak of variance?