Set Primitive Projections.
Record foo (T : Type) := { bar : T}.