:: Eq a => [a] -> [a] -> [a] -> [a] -package:graphviz package:utility-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))