hls-tactics-plugin-1.3.0.0: test/golden/RefineIntro.expected.hs

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