The Reason for Variance in Tags: Perfect Matching of Generic Types
Is there a reason why Tags variance is the way it is? Generic types need to match perfectly, since if I have a tag for a value
42 I can't type it as Tag for number
