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