hls-tactics-plugin-1.1.0.0: test/golden/GoldenFoldr.hs.expected
foldr2 :: (a -> b -> b) -> b -> [a] -> b foldr2 _ b [] = b foldr2 f_b b (a : l_a4) = f_b a (foldr2 f_b b l_a4)
foldr2 :: (a -> b -> b) -> b -> [a] -> b foldr2 _ b [] = b foldr2 f_b b (a : l_a4) = f_b a (foldr2 f_b b l_a4)