record R : Set₁ where
  field
    A : Set

  B : Set
  B = A

  field
    C : Set

  D : Set
  D = A  B  C