abstract sclass TreeView<A> {
  abstract A node();
  abstract L<TreeView<A>> children();
  TreeView<A> parent() { null; }
  
  toString {
    ret str(node());
  }
}