hls-tactics-plugin-1.8.0.0: new/test/golden/MessageForallA.hs

test :: a
test = _