type Ghci1.T :: * data Ghci1.T = A | ... -- Defined at :2:10