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