1{-# LANGUAGE GADTs #-} 2 3-- Should suggest Left and Right, but not [] 4t1 :: Either a b 5t1 = _ 6 7 8data ManyConstructors = C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9 | C10 9 10noCtorsIfMany :: ManyConstructors 11noCtorsIfMany = _ 12 13 14data GADT a where 15 IntGADT :: GADT Int 16 BoolGADT :: GADT Bool 17 VarGADT :: GADT a 18 19gadtCtor :: GADT Int 20gadtCtor = _ 21 22