(.require
 [library
  [lux (.except)
   ["_" test (.only Test)]
   [abstract
    [monad (.only do)]]
   [control
    ["[0]" try]]
   [data
    ["[0]" text (.use "[1]#[0]" equivalence)]]
   [math
    ["[0]" random (.only Random)]
    [number
     ["[0]" nat]
     ["[0]" frac]]]]]
 [\\library
  ["[0]" /]])

(def .public test
  Test
  (do [! random.monad]
    []
    (<| (_.covering /._)
        (_.property "TBD"
          true))))