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

(type: #export Synthesis
  Unit)

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