(.module:
  [lux #*
   [math
    [number
     ["n" nat]]]])

(type: #export Arity Nat)

(template [<comparison> <name>]
  [(def: #export <name> (-> Arity Bit) (<comparison> 1))]

  [n.< nullary?]
  [n.= unary?]
  [n.> multiary?]
  )