Well, I'm not sure about slip, in all languages I've used, reifing types at the boundaries has always emerged as a principle