(;module:
  lux
  (lux (data [product]))
  (.. ["lp" pattern]))

(type: #export (Analysis' Analysis)
  #Unit
  (#Bool Bool)
  (#Nat Nat)
  (#Int Int)
  (#Deg Deg)
  (#Real Real)
  (#Char Char)
  (#Text Text)
  (#Variant Nat Bool Analysis)
  (#Tuple (List Analysis))
  (#Case (List [lp;Pattern Analysis]))
  (#Function Scope Analysis)
  (#Call Analysis (List Analysis))
  (#Procedure Text (List Analysis))
  (#Relative Ref)
  (#Absolute Ident))

(type: #export #rec Analysis
  (Meta [Type Cursor]
        (Analysis' Analysis)))

(def: #export (get-type analysis)
  (-> Analysis Type)
  (|> analysis product;left product;left))