hls-tactics-plugin-1.6.0.0: test/golden/SubsequentTactics.expected.hs

data Dummy a = Dummy a

f :: Dummy Int -> Int
f (Dummy n) = n