I've never quite understood enough about types to know why, but: it's more like the difference between read-only and write-only. One of the variances is safe i

I've never quite understood enough about types to know why, but: it's more like the difference between read-only and write-only. One of the variances is safe if you only read, and one is safe if you only write.