record ds0 : Set where
  field
    a : Int
    b : Int

record ds1 : Set where
  field
    c : Int