∀ {user group other user_1 group_1 other_1 : IO.AccessRight},
  { user := user, group := group, other := other } = { user := user_1, group := group_1, other := other_1 } →
    user = user_1 ∧ group = group_1 ∧ other = other_1