concept Named {
  S name;
}