concept CNamed {
  S name;
}