{- This test verifies that an implementation works with a variable as "replacement".
-}
λ(x : Text) → Text/replace "a" x "aaa"