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

test :: a -> Either a b
test = _