blob: f158e54e0658e6df824b28dbf4b30f12d4e19de9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
f_0 :: (forall a_1 . GHC.Classes.Eq (T15738.Foo a_1)) =>
T15738.Foo x_2 -> T15738.Foo x_2 -> GHC.Types.Bool
f_0 = (GHC.Classes.==)
T15738.hs:(11,2)-(14,12): Splicing declarations
do d <- [d| f :: (forall a. Eq (Foo a)) => Foo x -> Foo x -> Bool
f = (==) |]
runIO $ hPutStrLn stderr $ pprint d
pure d
======>
f :: (forall a. Eq (Foo a)) => Foo x -> Foo x -> Bool
f = (==)
|