abstract sclass TreeView<A> {
  abstract A node();
  abstract TreeView<A> children();
}