sinterface Visitable {
  O visitUsing(IVF1 f);
}