type nonrec t =
  | Water 