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