(Module
  (ModuleIdentifier)
  (Export
    (TypeConstructorExport
      (VariableOperator
        (VariableSymbol))))
  (Export
    (VariableOperator
      (VariableSymbol)))
  (Statements))