mixin Refreshable {
  void refresh();
}