A framework could use static types to tag whether it is escaped or not. Then, the framework could map different kinds of requests (e.g: raw content vs. html co

A framework could use static types to tag whether it is escaped or not. Then, the framework could map different kinds of requests (e.g: raw content vs. html content) to different types. Then, the only way to convert between the types are functions that do proper escaping.