Void definitely exists in ML.

  —- Haskell
  data Void

  (* Standard ML *)
  datatype void = Void of void