variance

Which substitutions between related generic types are safe, such as `List<MenuItem>` standing in for `List<Any>`. You mark it with `out` or `in`.