Is this output from :all-types correct
Is this the expected outcome of loading
data B = F | T
instance Eq B
with :set +c and then running the :all-types
command?
> :all-types
/tmp/test.hs:(3,10)-(3,14): GHC.Classes.Eq Main.B
/tmp/test.hs:(3,10)-(3,14): (Main.B -> Main.B -> GHC.Types.Bool) -> GHC.Classes.Eq Main.B
/tmp/test.hs:(3,10)-(3,14): (Main.B -> Main.B -> GHC.Types.Bool) -> (Main.B -> Main.B -> GHC.Types.Bool) -> GHC.Classes.Eq Main.B
/tmp/test.hs:(3,10)-(3,14): Main.B -> Main.B -> GHC.Types.Bool
/tmp/test.hs:(3,10)-(3,14): Main.B -> Main.B -> GHC.Types.Bool