I would expect this to make `Foo` invariant wrt `T` since `field` can be both read and written. If we are talking about coercion rather than subtyping this makes sense and so does the covariant default above.