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

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