(.using
  [library
   [lux "*"
    ["_" test {"+" Test}]
    [abstract
     [monad {"+" do}]]
    [control
     ["[0]" try]]
    [data
     ["[0]" text ("[1]#[0]" equivalence)]]
    [math
     ["[0]" random {"+" Random}]
     [number
      ["[0]" nat]
      ["[0]" frac]]]]]
  [\\library
   ["[0]" /]])

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