Variance works only with Reference Types. AFAICT making `T` covariant makes all Visitors unusable for Value Types.