handle variance of Of-types