∀(needle : Text) → ∀(replacement : Text) → ∀(haystack : Text) → Text