That's a good point. I can see it working with static typing by being more liberal in what you accept as enconding, and accepting a validation function that wou

That's a good point. I can see it working with static typing by being more liberal in what you accept as enconding, and accepting a validation function that would take the type of the encoding (for example string) and returning a boolean. But you're right, the type itself of the encoding will have to be wider.