variants {"hello"; "hello" ++ "hello"}