I think the example only really works if `parse` and `escaped` return something other than a string. If that was the case, the type system will save you.