hls-tactics-plugin-1.8.0.0: old/test/golden/DestructAllAnd.hs

and :: Bool -> Bool -> Bool
and x y = _