Type compatibility needs to be checked over multiple levels