Yes, look at how it deals with type param variance for example. It doesn't.