A literal string type for Python

Django has something similar. When ordinary strings are rendered into an HTML template, the HTML special characters are escaped ("<" into "&lt;" etc.). The programmer can create "safe" strings (type Safestring) which behave like ordinary strings in most ways, but which do not get HTML-escaped. They remain safe until they are combined with ordinary strings by concatenation etc.