Generic types are analyzed without inheritance (and currently covariant, sorry...)