{-# LANGUAGE GADTs #-}

module ShouldSucceed5 where 


data T a where 
  C :: T Bool 
  D :: T Int 


data Y a where 
  E :: T Bool 


-- should succeed, the first branch is simply inaccessible 
foo :: T Bool -> Bool 
foo (D) = True 
foo (C) = False 

-- should succeed, the branch is inaccessible and not een type checked
baz :: Y Int -> Int 
baz (E) = "dimitris!"