:: Eq a => [a] -> [a] -> [a] -> [a] -package:graphviz -package:ascii-progress package:utility-ht

replace :: Eq a => [a] -> [a] -> [a] -> [a]
utility-ht Data.List.HT
\(NonEmpty xs) ys -> replace xs xs ys == (ys::String)

\(NonEmpty xs) (NonEmpty ys) -> equating (take 1000) (replace xs ys (cycle xs)) (cycle (ys::String))