Compare

type Compare is
  (Less val | Equal val | Greater val)

Type Alias For