(.module:
  [library
   [lux "*"
    ["@" target]
    [abstract
     [monad {"+" [do]}]
     [functor {"+" [Functor]}
      [\\poly
       ["[0]" /]]]]
    ["r" math/random {"+" [Random]}]
    ["_" test {"+" [Test]}]
    [control
     ["[0]" state]]
    [data
     ["[0]" identity]]]])

(for [@.old (as_is)]
     (as_is (def: maybe_functor
              (Functor .Maybe)
              (/.functor .Maybe))

            (def: list_functor
              (Functor .List)
              (/.functor .List))

            (def: state_functor
              (All (_ s) (Functor (state.State s)))
              (/.functor state.State))

            (def: identity_functor
              (Functor identity.Identity)
              (/.functor identity.Identity))))

(def: .public test
  Test
  (<| (_.covering /._)
      (_.cover [/.functor]
               true)))