hls-tactics-plugin-1.1.0.0: test/golden/DestructAllMany.hs

data ABC = A | B | C

many :: () -> Either a b -> Bool -> Maybe ABC -> ABC -> ()
many u e b mabc abc = _