sinterface MetaTransformer {
  O transform(IF1 f, O o);
}