Sounds like a similar problem to type variance in ...

# announcements

[araqnid]

Sounds like a similar problem to type variance in lists etc, where mutable lists are basically invariant -- i.e. similar to how List<B> extends List<A> in Kotlin, but MutableList<B> doesn't extend MutableList<A>