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