type Comparable = concept c
  (c < c) is bool
# Is identical to the above