(;module:
  lux
  (lux (control monad)
       (data text/format)
       [macro #+ Monad<Lux>])
  (luxc ["&" base]
        lang
        ["&;" analyser]))

(def: #export (synthesize analysis)
  (-> Analysis Synthesis)
  (undefined))