================================================================================
consym: valid
================================================================================

data A = Int :+ Int

--------------------------------------------------------------------------------

(haskell
  (declarations
    (data_type
      (name)
      (data_constructors
        (data_constructor
          (infix
            (name)
            (constructor_operator)
            (name)))))))

================================================================================
consym: error: ::
================================================================================

data A = Int :: Int

--------------------------------------------------------------------------------

(haskell
  (declarations
    (data_type
      (name)
      (data_constructors
        (data_constructor
          (prefix
            (constructor)
            (ERROR)
            (name)))))))
