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

newtype Reader r a = Reader (r -> a)

test :: b -> Reader r a
test b = Reader (\ r -> _)