Covariance / Contravariance for generics?

Seems it doesn’t support in hegel?

class Base {}
class Foo extends Base {}

const fooArr: Array<Foo> = [new Foo()];
const baseArr: Array<Base> = fooArr;

playground

[raveclassic]

It would be so great if Hegel supported explicit variance annotations like it’s done in Scala: https://docs.scala-lang.org/tour/variances.html

[thecotne]

@leunam217 immutability should be part of type system and should not leak artifacts to production code

you have introduced wrapper class but it is only used for type checking