# LANGUAGE TypeOperators , GADTs , KindSignatures #

  Tests infix type constructors in GADT declarations

module ShouldCompile where

infix 1 `DArrowX`       -- (->) has precedence 0

data DArrowX :: * -> * -> * where
  First   :: a `DArrowX`  a' -> (a,b) `DArrowX` (a',b)

 (->) has precedence 0
# LANGUAGE TypeOperators , GADTs , KindSignatures #

  Tests infix type constructors in GADT declarations

module ShouldCompile where


data DArrowX :: * -> * -> * where
  First   :: a `DArrowX`  a' -> (a,b) `DArrowX` (a',b)
