if A is a subtype of B you can return C<B> w...
# announcements
e
if A is a subtype of B you can return C<B> when C<A> is asked, not the opposite