type nonrec 'a node =
  | Nil 
  | Node of {
  } 