(.using
 [library
  [lux "*"
   ["_" test {"+" Test}]
   [abstract
    [monad {"+" do}]]
   [control
    ["[0]" io {"+" IO}]
    [concurrency
     ["[0]" async]]]
   [math
    ["[0]" random]
    [number
     ["n" nat]]]]]
 [\\library
  ["[0]" /]])

(/.capability: (Can_Shift a)
  (can_shift [a Nat] [a Nat]))

(/.capability: Can_IO
  (can_io [] (IO Nat)))

(def: .public test
  Test
  (<| (_.covering /._)
      (do random.monad
        [shift random.nat
         base random.nat
         .let [expected (n.+ shift base)]
         pass_through (random.ascii 1)]
        (_.for [/.Capability]
               (all _.and
                    (_.coverage [/.capability: /.use]
                      (let [capability (..can_shift (function (_ [no_op raw])
                                                      [no_op (n.+ shift raw)]))
                            [untouched actual] (/.use capability [pass_through base])]
                        (and (same? pass_through untouched)
                             (n.= expected actual))))
                    (in (let [capability (..can_io (function (_ _) (io.io expected)))]
                          (do async.monad
                            [actual (/.use (/.async capability) [])]
                            (_.coverage' [/.async]
                              (n.= expected actual)))))
                    )))))