path: root/testsuite/tests/gadt/gadtSyntax001.hs

{-# LANGUAGE GADTSyntax #-}

module GadtSyntax001 where

data Foo a b where
    C1 :: a -> Int -> b -> Foo b a
    C2 :: a -> Char -> Foo a b
    Cs :: Foo a b