1 2 3 4 5 6
T14646.hs:(5,2)-(6,25): Splicing declarations [d| f :: (forall a. a) -> Int f _ = undefined |] ======> f :: (forall a. a) -> Int f _ = undefined