(.module:
  [lux #*])

(type: #export (CoV t)
  (-> Any t))

(type: #export (ContraV t)
  (-> t Any))

(type: #export (InV t)
  (-> t t))