hls-tactics-plugin-1.2.0.0: test/golden/MetaBindAll.hs

foo :: a -> (a, a)
foo a = [wingman| split; assumption |]