"x" ++ "a" ++ ("y" ++ "b")