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