yes, but T is constrained to be a subtype of A. an...
# announcements
m
yes, but T is constrained to be a subtype of A. and B is also a subtype of A