sclass Relation {
  S relation;
  L<S> things;
  
  [stdEq]
}