IsAssignableFrom в ковариантности и контравариантности

Как я могу определить, может ли тип xбыть назначен из типа yне только через иерархию наследования, но также через ковариантность и контравариантность?