type nonrec t =
  | Red 
;;Red
;;foo := 1