sclass CreatedDeletedChanged<A> {
  srecord Created<A>(A a) > CreatedDeletedChanged<A> {}
  srecord Deleted<A>(A a) > CreatedDeletedChanged<A> {}
  srecord Changed<A>(A a, A b) > CreatedDeletedChanged<A> {}
}