Set Primitive Projections.
Record r {A} := R {f : A -> A}.
Compute f _ I.