(;module:
  lux
  (lux (control monad)
       [io]
       (concurrency [promise])
       [cli #+ program:]
       [test])
  (test ["_;" lux]
        (lux ["_;" cli]
             ["_;" host]
             ["_;" io]
             (time ["_;" instant]
                   ["_;" duration]
                   ["_;" date])
             (concurrency ["_;" actor]
                          ["_;" space]
                          ["_;" atom]
                          ["_;" frp]
                          ["_;" promise]
                          ["_;" stm])
             (control ["_;" exception]
                      ["_;" interval]
                      ["_;" pipe]
                      ["_;" cont]
                      ["_;" reader]
                      ["_;" writer]
                      ["_;" state]
                      ["_;" parser])
             (data ["_;" bit]
                   ["_;" bool]
                   ["_;" result]
                   ["_;" ident]
                   ["_;" identity]
                   ["_;" maybe]
                   ["_;" number]
                   ["_;" product]
                   ["_;" sum]
                   ["_;" text]
                   ["_;" lazy]
                   ["_;" color]
                   (number ["_;" ratio]
                           ["_;" complex])
                   (format ["_;" json]
                           ["_;" xml])
                   (coll ["_;" array]
                         ["_;" dict]
                         ["_;" list]
                         ["_;" queue]
                         ["_;" set]
                         ["_;" stack]
                         ["_;" vector]
                         ["_;" seq]
                         ["_;" priority-queue]
                         ["_;" stream]
                         (tree ["tree_;" rose]
                               ["tree_;" zipper])
                         (ordered ["ordered_;" dict]
                                  ["ordered_;" set]))
                   (text ["_;" format]
                         ["_;" lexer]
                         ["_;" regex]))
             ["_;" math]
             (math ["_;" random]
                   (logic ["_;" continuous]
                          ["_;" fuzzy]))
             (macro ["_;" code]
                    ["_;" syntax]
                    (poly ["poly_;" eq]
                          ["poly_;" functor]))
             ["_;" type]
             (type ["_;" check]
                   ["_;" auto]
                   ["_;" object])
             (world ["_;" blob]
                    ["_;" fs]
                    (net ["_;" tcp]
                         ["_;" udp]))
             ))
  (lux (control [contract]
                [concatenative])
       (concurrency [space])
       (data [env]
             [trace]
             [store]
             [tainted]
             (format [context]
                     [html]
                     [css])
             (coll (tree ["tree_;" parser])))
       [macro]
       (math [random])
       (type [unit])
       [world/env])
  )

(program: args
  (test;run))