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