(.require
  [library
   [lux (.except)]])

(type .public Days
  Nat)

(type .public Months
  Nat)

(type .public Year
  Nat)

(type .public (Period a)
  (Record
   [#start a
    #end a]))