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