Structure now not covariant anymore. This allows definition of observe(value:T). Specs now test observe as well.