hls-tactics-plugin-1.1.0.0: test/golden/RefineCon.hs.expected

test :: ((), (b, c), d)
test = (_, _, _)