(.module:
  [lux (#- nat int rev)
   [control
    monad]]
  ["." // (#+ Analysis Operation)
   [".A" type]
   ["/." //]])

## [Analysers]
(do-template [<name> <type> <tag>]
  [(def: #export (<name> value)
     (-> <type> (Operation Analysis))
     (do ///.Monad<Operation>
       [_ (typeA.infer <type>)]
       (wrap (#//.Primitive (<tag> value)))))]

  [bit  Bit  #//.Bit]
  [nat  Nat  #//.Nat]
  [int  Int  #//.Int]
  [rev  Rev  #//.Rev]
  [frac Frac #//.Frac]
  [text Text #//.Text]
  )

(def: #export unit
  (Operation Analysis)
  (do ///.Monad<Operation>
    [_ (typeA.infer Any)]
    (wrap (#//.Primitive #//.Unit))))