sinterface Transformable {
  O transformUsing(IF1 f);
}