sig Node {
  next : Node
}
