sclass TrivialStringifier is IStringifier {
  public S toString(O o) { ret str(o); }
}