hls-tactics-plugin-1.8.0.0: old/test/golden/SubsequentTactics.hs

data Dummy a = Dummy a

f :: Dummy Int -> Int
f = _