TS 4.7 variance annotations (in and out)

[wkrueger]

I wonder if with the new variance annotations from TS 4.7 we could achieve easier type inference...

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-7.html#optional-variance-annotations-for-type-parameters