Flow: I still need $Supertype

[bigslycat]

I use $Supertype in typed contracts. And this is the only way to make this and this code work. What should I do after $Supertype is removed? Help me.

[TrySound]

Did you changed your mind?

[bigslycat]

I just removed $SuperType from typed-contracts in v2.0.0.

[jbrown215]

$Supertype was the original way we (unsoundly) gave some sort of support for variance. Now, you can mark the type parameter contravariant using - to use the behavior $Supertype gives you in a sound way.