1 2 3 4
type Foo :: * data Foo = Foo -- Defined at ghci019.hs:9:1 instance [safe] Prelude.Eq Foo -- Defined at ghci019.hs:10:10