Check if the first type subtype of the second type
NOTE: Use this for contravariant and covariant check See https://www.originate.com/cheat-codes-for-contravariance-and-covariance See https://en.wikipedia.org/wiki/Covariance_and_contravariance_of_vectors
Check if the first type subtype of the second type
NOTE: Use this for contravariant and covariant check See https://www.originate.com/cheat-codes-for-contravariance-and-covariance See https://en.wikipedia.org/wiki/Covariance_and_contravariance_of_vectors