type NodeIter[T] = concept n
  for x in items(n):
    x is T
# Or there abouts